A comprehensive index of philosophy book reviews

Diophantine representation of recursively enumerable predicates

by Yu. V. Matijasevič · 1 review · 1972

Reviewed by Journal Date Access
Alonzo Church The Journal of Symbolic Logic 1972 Restricted

Metaphysics & Logic

Search PhilReviews for this title