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

Hájek, Petr; Pudlák, Pavel

ISBN 10: 1107168414 / ISBN 13: 9781107168411

Verlag: Cambridge University Press, 2017

Beschreibung

Bestandsnummer des Verkäufers I-9781107168411

Bibliografische Details

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

Verlag: Cambridge University Press

Erscheinungsdatum: 2017

Einband: Hardcover

Zustand: New

Über diesen Titel

Inhaltsangabe:

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

Über die Autorinnen und Autoren:

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.