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 25 | Issue 4April 2020
© 2017-2019 Indian Academy of Sciences, Bengaluru.