A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam

Name: A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam
Author: Karel Louis de Bouvère

by Karel Louis de Bouvère · 1 review · 1960

Reviewed by	Journal	Date	Access
Gert H. Müller	The Journal of Symbolic Logic	1960	Restricted

Metaphysics & Logic

Search PhilReviews for this title