You are not currently logged in.
Access JSTOR through your library or other institution:
Gödel's Theorem, Church's Theorem, and Mechanism
J. J. C. Smart
Vol. 13, No. 2 (Jun., 1961), pp. 105-110
Published by: Springer
Stable URL: http://www.jstor.org/stable/20114382
Page Count: 6
You can always find the topics here!Topics: Syntax, Mathematical problems, Mathematical theorems, Number theory, Mathematical induction, Logical theorems, Predicate calculus, Sentences, Turing machines
Were these topics helpful?See somethings inaccurate? Let us know!