Main image
Click to view image in fullscreen
![]()
Metamathematics of First-Order Arithmetic
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.
1 630,00 DH
Sur commande
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.
| ISBN / EAN | 9781107168411 |
|---|---|
| Auteur | Hajek, Petr (Academy of Sciences of the Czech Republic, Prague) |
| Editeur | Cambridge University Press |