Model theory and the philosophy of mathematical practice - formalization without foundationalism
- Författare
- John T. Baldwin
- (John T. Baldwin.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2018 | Storbritannien, Cambridge | xi, 352 sidor. ill. | 978-1-107-18921-8 |
| Cambridge University Press | 2018 | Storbritannien, Cambridge | 1 online resource (362 pages) digital, PDF file(s). | 978-1-316-98721-6 |