Basic proof theory
- Författare
- Anne Sjerp Troelstra
- (A. S. Troelstra, H. Schwichtenberg)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2000 | Storbritannien, Cambridge | xii, 417 sidor. 23cm | 0-521-77911-1 |
| Cambridge University Press | 2000 | England, Cambridge, New York | PDF (xii, 417 sidor.) ill. | 978-1-139-16871-7 |
| Cambridge University Press | 1996 | Storbritannien, Cambridge | xi,343 sidor. ill 24cm |