A transfinite type theory with type variables

by P. B. Andrews · 1 review · 1968

Reviewed by	Journal	Date	Access
R. O. Gandy	The Journal of Symbolic Logic	1968-04-26	Restricted

Metaphysics & Logic

Also by Andrews

Hermeneutics and the Church: In Dialogue with Augustine (4 reviews)
The Question of Painting: Re-thinking Thought with Merleau-Ponty (3 reviews)
An introduction to mathematical logic and type theory: to truth through proof (2 reviews)
Boomers (2 reviews)
Do Apes Read Minds? (2 reviews)
How to study animal minds (2 reviews)
The Other Friars: The Carmelite, Augustinian, Sack and Pied Friars in the Middle Ages (2 reviews)
Wealth and Moral Law (2 reviews)

Search PhilReviews for this title