Pastāsti draugiem par šo preci:
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics Tourlakis, George (York University, Toronto)
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics
Tourlakis, George (York University, Toronto)
This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
340 pages
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2003. gada 9. janvāris |
| ISBN13 | 9780521753739 |
| Izdevēji | Cambridge University Press |
| Lapas | 342 |
| Izmēri | 236 × 158 × 29 mm · 659 g |
| Valoda | Angļu |
| Sērijas redaktors | Bollobas, B. |
| Sērijas redaktors | Fulton, W. |
| Sērijas redaktors | Katok, A. |
| Sērijas redaktors | Kirwan, F. |
| Sērijas redaktors | Sarnak, P. |
| Sērijas redaktors | Simon, B. |
| Sērijas redaktors | Totaro, B. |