Provability, Computability and Reflection
- Författare
- Latin-American Symposium on Mathematical Logic
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Elsevier | 1977 | Utgivningsland okänt / Ej specificerat |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Elsevier | 1977 | Utgivningsland okänt / Ej specificerat |