Böcker av Aladdin M. Yaqub

Offers an accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems.

This reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic and the philosophical issues that surround those systems. The treatment is conceptually tight: classical logical theory is developed as an attempt to characterise two central notions - logical possibility and demonstrative proof.