Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic

by Petr Hajek, Pavel Pudlak
     
 

ISBN-10: 0387506322

ISBN-13: 9780387506326

Pub. Date: 01/01/1993

Publisher: Springer-Verlag New York, LLC

The development of axiomatic schemes for arithmetic have played a fundamental role in the logical understanding of mathematics. This book covers the most important results in the first order theory of the natural numbers, called Peano arithmetic. These results will be important for all those interested in mathematical logic or computational complexity.  See more details below

Overview

The development of axiomatic schemes for arithmetic have played a fundamental role in the logical understanding of mathematics. This book covers the most important results in the first order theory of the natural numbers, called Peano arithmetic. These results will be important for all those interested in mathematical logic or computational complexity.

Product Details

ISBN-13:
9780387506326
Publisher:
Springer-Verlag New York, LLC
Publication date:
01/01/1993
Pages:
460
Product dimensions:
9.21(w) x 6.14(h) x 1.00(d)

Table of Contents

Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self-Reference.- IV: Models of Fragments of Arithmetic.- C.- V: Bounded Arithmetic.- Bibliographical Remarks and Further Reading.- Index of Terms.- Index of Symbols.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >