Shankar, J
3  results:
Search for persons X
?
2

Metamathematics, machines and Gödel's proof 

Cambridge tracts in theoretical computer science ; 38
Copies:  Zentrale:E02 a mat 024 e/400
 
1-3