Mathematical logic and computation
- Författare
- Jeremy Avigad
- (Jeremy Avigad, Carnegie Mellon University.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2023 | England, Cambridge, United Kingdom, New York, NY | xii, 513 pages illustrations 27 cm | 978-1-108-47875-5 |