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