Mathematical logic a course with exercises
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | 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 -
