Metamathematics of First-Order Arithmetic (Bog, Hardback, Engelsk) af Petr (Academy of Sciences of the Czech Republic Hajek

Metamathematics of First-Order Arithmetic

(Bog, Hardback, Engelsk)
Forfattere: Petr (Academy of Sciences of the Czech Republic Hajek, Pavel (Academy of Sciences of the Czech Republic Pudlak

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

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