
Metamathematics of First-Order Arithmetic
Perspectives in Logic
|
Innbundet
Produseres på bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
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.