categories
- Traffic and Vehicles Catalogue
- socreal.catalog
- Advertisement Catalogue
- Photo Catalogue
- Chinese and Japanese Catalogue
- New Holy Card Catalogue II.
- 12 interesting old books
Books
- Bibliophil
- Antiques
- Engraving
- Maps
- Photos
- Antique Papers, Small Prints
- Posters
- Circus
- Modern Graphics
- Socialist Realism
- NER Propaganda
- Others
cart
Cart is empty
You've not logged in
Boolos, George S. - Richard C. Jeffrey : Computability and Logic
- description
- additional information
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
| condition: |  |
| category: | Books > Philosophy > |
| category: | Books > Foreign Language Books > Books in English > |
| publisher: | Cambridge University Press, (1991) |
| item number / ISBN: | 9780521389235 |
| binding: | paperback |
| pages: | X, 304 |
| language: | English |
Múzeum Antikvárium |
+36 1 317-50-23 |
1053
Budapest,
Múzeum krt. 35.
Telefon:
E-mail:
