Bemærk: Kan ikke leveres før jul.
Forventes på lager: 02-03-2017
This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
| Forlag | Cambridge University Press |
| Forfattere | Petr (Academy of Sciences of the Czech Republic Hajek, Pavel (Academy of Sciences of the Czech Republic Pudlak |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 02-03-2017 |
| Første udgivelsesår | 2017 |
| Serie | Perspectives in Logic |
| Illustrationer | 2 Line drawings, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 476 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 476 pages, 2 Line drawings, black and white |
| Mål | 240 x 162 x 36 |
| ISBN-13 / EAN-13 | 9781107168411 |