Solvability, provability, definability: the collected works of Emil L. Post

by Davis Martin, Contemporary mathematicians · 1 review · 1997

Reviewed by Journal Date Access
H. B. Enderton The Journal of Symbolic Logic 1997 Restricted

Metaphysics & Logic

Search PhilReviews for this title