Logic and Structure
Book information
Description
Front Matter....Pages I-IX Introduction....Pages 1-3 Propositional Logic....Pages 4-57 Predicate Logic....Pages 58-105 Completeness and Applications....Pages 106-153 Second-Order Logic....Pages 154-164 Appendix....Pages 165-167 Bibliography....Pages 168-168 Gothic Alphabet....Pages 169-169 Back Matter....Pages 170-174
Similar books
Recursion on the Countable Functionals
1980 · PDF
Introduction to Axiomatic Set Theory
1982 · PDF
Zermelo’s Axiom of Choice: Its Origins, Development, and Influence
1982 · PDF
Introduction to Cardinal Arithmetic
1999 · PDF
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
2004 · PDF
Mathematische Logik
2010 · PDF
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
2010 · PDF
The Hyperuniverse Project and Maximality
2018 · PDF