Metamathematics of First Order Arithmetic

by Petr Hájek and Pavel Pudlák

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. There has been a need for some time for...

• Format: Paperback
• Language: English
• ISBN: 354063648X
• ISBN13: 9783540636489
• Release Date: March 1998
• Publisher: Springer
• Length: 460 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"