kategóriák
- Közlekedés ajánlójegyzék
- Szocreál ajánlójegyzék
- Reklám ajánlójegyzék
- Fotó ajánlójegyzék
- Kínai-japán ajánlójegyzék
- Szentkép ajánlójegyzék
Új árakkal! - Új szentkép ajánlójegyzék II.
- 12 érdekes régiség
Könyv
- Bibliofilia
- Régiség
- Metszet
- Térkép
- Fotó
- Papírrégiség, Aprónyomtatvány
- Plakát
- Cirkusz
- Modern grafika
- Szocreál
- NER Irodalom
- Egyéb
kosár
üres a kosár
nincs bejelentkezve
Boolos, George S. - Richard C. Jeffrey : Computability and Logic
- leírás
- további adatok
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.
| állapot: |  |
| kategória: | Könyv > Filozófia > |
| kategória: | Könyv > Idegennyelvű könyvek > Angol nyelvű > |
| kiadó: | Cambridge University Press, (1991) |
| cikkszám / ISBN: | 9780521389235 |
| kötés: | fűzve |
| oldalszám: | X, 304 |
| könyv nyelve: | angol |
Múzeum Antikvárium |
+36 1 317-50-23 |
1053
Budapest,
Múzeum krt. 35.
Telefon:
E-mail:
