Bemærk: Kan ikke leveres før jul.
Forventes på lager: 09-09-2005
Covering modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
| Forlag | Taylor & Francis Inc |
| Forfatter | Peter G. (University of Michigan Hinman |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 09-09-2005 |
| Første udgivelsesår | 2005 |
| Originalsprog | United States |
| Sideantal | 894 |
| Indbinding | Hardback |
| Forlag | Taylor & Francis Inc |
| Sideoplysninger | 894 pages |
| Mål | 236 x 161 x 46 |
| ISBN-13 / EAN-13 | 9781568812625 |