Deductive Logic
Inbunden bok. 480 sidor.
Mycket gott skick. The Leblanc and Wisdom is one of the best guide to basic metalogic on the market. The book is divided into three chapters: sentential logic, predicate logic, and metalogic. The last chapter is really the point of the book. It has precise, but thoroughly explained proofs of the completeness and soundness of first-order predicate logic. Leblanc and Wisdom present arguably the best accounts of weak and strong mathematical induction for the student. There is a very useful section on model-theoretic semantics. There is a section on the axiomatic approach to logic. A student who completes the book is well-prepared for Hilbert's Entscheidungsproblem, Godel's incompleteness theorems, and the Church-Turing Theorem ("halting problem"). Of course, Leblanc and Wisdom show the issue of the undecidability of first-order predicate logic in the consistency tree method, as do other texts that teach consistency trees.
