Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Logic and Foundations
Symbolic Logic, Tony Roy
Symbolic Logic, Tony Roy
Books
Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.
The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.
The second volume includes parts III and IV of the text. Part III develops basic results in …