Metamathematics of First-Order Arithmetic
| Author | : Petr Hájek |
| Publisher | : Cambridge University Press |
| Total Pages | : 475 |
| Release | : 2017-03-02 |
| ISBN-10 | : 9781107168411 |
| ISBN-13 | : 1107168414 |
| Rating | : 4/5 (11 Downloads) |
Book Synopsis Metamathematics of First-Order Arithmetic by : Petr Hájek
Download or read book Metamathematics of First-Order Arithmetic written by Petr Hájek and published by Cambridge University Press. This book was released on 2017-03-02 with total page 475 pages. Available in PDF, EPUB and Kindle. Book excerpt: A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.