• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Metamathematics of First Order Arithmetic

Metamathematics of First Order Arithmetic

Paperback

Series: Perspectives in Mathematical Logic

Fiction

ISBN10: 354063648X
ISBN13: 9783540636489
Publisher: Springer Nature
Published: Mar 17 1998
Pages: 460
Weight: 1.60
Height: 1.12 Width: 6.14 Depth: 9.23
Language: English
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.

1 different editions

Also available

Also in

Fiction