Metamathematics of First Order Arithmetic

by Petr Hájek and Pavel Pudlák

This is a monograph on the metamathematics of first order arithmetic. The primary readership is active researchers and graduate students in mathematical logic, in particular those specializing in theories of the natural numbers. The middle part of the book on incompleteness may be of interest to philosophers. The last part, on computational complexity, has applications to computer science.

• 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"