Provability, Computability and Reflection
- Författare
- Symposium on Generalized Recursion Theory
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Elsevier | 1978 | Utgivningsland okänt / Ej specificerat | ||
Elsevier | 1974 | Utgivningsland okänt / Ej specificerat |