An introduction to mathematical logic and type theory: to truth through proof

by Peter B. Andrews · 2 reviews · 1988

Reviewed by	Journal	Date	Access
M. Yasuhara	The Journal of Symbolic Logic	1988	Restricted
M. Yasuhara	The Journal of Symbolic Logic	1988	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)
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)
A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 (1 review)

Search PhilReviews for this title