Vetenskap & teknik
Metamathematics of First-Order Arithmetic
Petr Hajek • Pavel Pudlak • Petr Hájek • Pavel Pudlák
Inbunden
2579:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 1859:-
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.
- Format: Inbunden
- ISBN: 9781107168411
- Språk: Engelska
- Antal sidor: 474
- Utgivningsdatum: 2017-03-02
- Förlag: Cambridge University Press