Provability, Computability and Reflection
- Författare
- Conference on Intuitionism and Proof Theory
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 1970 | Utgivningsland okänt / Ej specificerat |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 1970 | Utgivningsland okänt / Ej specificerat |