Metamathematics of First-order Arithmetic

Ha jek, Petr/ Pudlák, Pavel

ISBN 10: 1107168414 / ISBN 13: 9781107168411

Editore: Cambridge Univ Pr, 2017

Riguardo questo articolo

460 pages. 10.00x6.50x1.25 inches. In Stock. Codice articolo x-1107168414

Dati bibliografici

Titolo: Metamathematics of First-order Arithmetic

Casa editrice: Cambridge Univ Pr

Data di pubblicazione: 2017

Legatura: Hardcover

Condizione: Brand New

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.