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