Synopsis
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos des auteurs
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Metamathematics of First-Order Arithmetic
Image d'archives
Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)
Edité par
Cambridge University Press (edition 1), 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Ancien ou d'occasion
Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : As New. 1. It's a preowned item in almost perfect condition. It has no visible cosmetic imperfections. May come without any shrink wrap; pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur 1107168414-10-1
Acheter D'occasion
EUR 101,01
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)
Edité par
Cambridge University Press, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2317530267862
Acheter neuf
EUR 170,74
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)
Edité par
Cambridge University Press, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781107168411_new
Acheter neuf
EUR 181,40
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Metamathematics of First-order Arithmetic (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic). 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9781107168411
Acheter neuf
EUR 203,68
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematics of First-order Arithmetic
Edité par
Cambridge Univ Pr, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 460 pages. 10.00x6.50x1.25 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __1107168414
Acheter neuf
EUR 195,56
Frais de port :
EUR 14,19
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematics of First-Order Arithmetic
Edité par
Cambridge University Press CUP, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26376285851
Acheter neuf
EUR 210,32
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)
Edité par
Cambridge University Press, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA77311071684146
Acheter neuf
EUR 197,61
Frais de port :
EUR 28,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematics of First-Order Arithmetic
Edité par
Cambridge University Press, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18376285841
Acheter neuf
EUR 228,09
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Metamathematics of First-order Arithmetic (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic). 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9781107168411
Acheter neuf
EUR 198,77
Frais de port :
EUR 42
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Metamathematics of First-Order Arithmetic
Edité par
Cambridge University Press, 2017
ISBN 10 : 1107168414
ISBN 13 : 9781107168411
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 phenomeno. N° de réf. du vendeur 447216794
Acheter neuf
EUR 197,60
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles