Introduction to Mathematical Logic, Edition 2021

Download Edit this record How to cite View on PhilPapers
Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.
PhilPapers/Archive ID
Upload history
First archival date: 2021-02-12
Latest version: 3 (2021-08-22)
View other versions
Added to PP index

Total views
127 ( #39,833 of 2,448,737 )

Recent downloads (6 months)
88 ( #6,559 of 2,448,737 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.