Notre Dame Journal of Formal Logic · 1964 · 19 citations · 2 references
2
Recursive Unsolvability of a problem of Thue
Emil L. Post · Journal of Symbolic Logic · 1947 · 533 citations
Introduction to mathematical logic
Haskell B. Curry · Journal of the Franklin Institute · 1957 · 509 citations