Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)

Hájek, Petr; Pudlák, Pavel

ISBN 10: 1107168414 / ISBN 13: 9781107168411

Editore: Cambridge University Press (edition 1), 2017

Riguardo questo articolo

Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 1107168414-10-1

Dati bibliografici

Titolo: Metamathematics of First-Order Arithmetic (...

Casa editrice: Cambridge University Press (edition 1)

Data di pubblicazione: 2017

Legatura: Hardcover

Condizione: As New

Edizione: 1.

Descrizione articolo

Riassunto:

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

Informazioni sugli autori:

Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague.

Pavel Pudlák works in the Mathematical Institute at the Academy of Sciences of the Czech Republic, Prague.