Reviews matching “Solvability, provability, definability: the collected works of Emil L. Post”

1 result

BookAuthorReviewerJournalDate
Solvability, provability, definability: the collected works of Emil L. Post Davis Martin, Contemporary mathematicians H. B. Enderton The Journal of Symbolic Logic 1997

Open this search with filters