Mathematical logic : a course with exercises. Part II, Recursion theory, Gödel's theorems, set theory, model theory /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Další autoři: | |
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Oxford :
Oxford University Press,
2001.
|
| Vydání: | 1st Engl. publ. |
| Témata: |
| Fyzický popis: | xx, 331 s. |
|---|---|
| ISBN: | 0-19-850051-3 0-19-850050-5 |