Indian Academy of Sciences
Gödel’s Proof - Incompleteness Theorems
S M Srivastava
Click here to view fulltext PDF
Recursive functions; Church’s thesis; Gödel numbers; representability; set theory.
S M Srivastava1
Current Issue Volume 24 | Issue 7July 2019
© 2017-2019 Indian Academy of Sciences, Bengaluru.