Indian Academy of Sciences
Gödel’s Proof - Semantics of First Order Theory and Hilbert’s Program
S M Srivastava
Click here to view fulltext PDF
Structure or interpretation of a language; model; truth; tautology; Hilbert’s program; logical axioms; proof; rules of inference; completeness; consistency; undecidable; conservative extension; interpretation.
S M Srivastava1
Current Issue Volume 26 | Issue 6June 2021
© 2021-2022 Indian Academy of Sciences, Bengaluru.