Mathematical logic a course with exercises

• Κύριος συγγραφέας: Cori, Rene
• Άλλοι συγγραφείς: Pelletier, Donald H.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Oxford university press
• Θέματα: Λογική, Συμβολική και μαθηματική

Πίνακας περιεχομένων:

• v.1. propositional calculus, boolean algebras. - 338 p. - predicate calculus. - 1993 - v.2. recursion theory, Godel's Theorems, set theory, Model theory. - 331 p. - 1993 -