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
• Editore: Cambridge Univ Pr
• Data di pubblicazione: 2017
• Lingua: Inglese
• ISBN 10: 1107168414
• ISBN 13: 9781107168411
• Rilegatura: 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.