- Membership
- Publications
- Meetings
- Competitions
- Community
- Programs
- Students
- High School Teachers
- Faculty and Departments
- Underrepresented Groups
- MAA Awards
- MAA Grants
- News
- About MAA

The Basic Library List Committee strongly recommends this book for acquisition by undergraduate mathematics libraries.
This is a Dover reprint of a book originally published in 1965. The book collects several fundamental articles on undecidability (see the table of contents for the list). An extended review appeared in the Journal of Symbolic Logic and can be accessed through JSTOR.
The only thing to say, really, is that this is a fundamental resource for anyone interested in seeing the most important papers on undecidability and related issues in logic. Most libraries probably already have a copy. (If they don't, shame on them!) The Dover edition makes it accessible to everyone else.
Alonzo Church: An Unsolvable Problem of Elementary Number Theory, A Note on the Entscheidungsproblem
Alan M. Turing: On Computable Numbers, with an Application to the Entscheidungsproblem, Systems of Logic Based on Ordinals
J. B. Rosser: An Informal Exposition of Proofs of Gâ€del's Theorem and Church's Theorem, Extensions of Some Theorems of Gâ€del and Church
Stephen C. Kleene: General Recursive Functions of Natural Numbers, Recursive Predicates and Quantifiers
Emil Post: Finite Combinatory Processes, Formulation I; Recursive Unsolvability of a Problem of Thue, Recursively Enumerable Sets of Positive Integers and Their Decision Problems, Absolutely Unsolvable Problems and Relatively Undecidable Propositions-Account of an Anticipation.
Index.