Metamathematics of first-order arithmetic
- Författare
- Petr Hájek
- (Petr Hájek, Pavel Pudlák.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2016 | Storbritannien, Cambridge | 1 online resource (xiv, 460 pages) digital, PDF file(s). | 978-1-316-71727-1 |
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | xiv, 460 pages 24 cm |