Provability, Computability and Reflection
- Författare
- Scandinavian Logic Symposium
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 1971 | Utgivningsland okänt / Ej specificerat | ||
| North-Holland Pub. Co. | 1971 | Nederländerna, Amsterdam | 1 online resource (415 sidor.) |