An introduction to mathematical logic and type theory - to truth through proof
- Författare
- P. B. (Peter Bruce) Andrews
- (Peter B. Andrews.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2010 | Nederländerna, Dordrecht, London | 390 sidor. ill. 24 cm. | 978-90-481-6079-2 |
| Kluwer Academic Publishers | cop. 2002 | Nederländerna, Dordrecht, Boston | xviii, 390 sidor. ill. 25 cm. | |
| Academic Press | 1986 | USA, Orlando | xv, 304 sidor. |