2009 · 88 citations · 17 references
17
Introduction to a General Theory of Elementary Propositions
Emil L. Post · American Journal of Mathematics · 1921 · 1K citations
Humanities, Mathematics, Logic +7
A note on the Entscheidungsproblem
Alonzo Church · Journal of Symbolic Logic · 1936 · 797 citations
Foundations of Mathematical Logic.
Elliott Mendelson, Haskell B. Curry · American Mathematical Monthly · 1965 · 456 citations