Proofs and types

by Jean-Yves Girard, Paul Taylor, and Yves LaFont · 1 review · 1991

Reviewed by	Journal	Date	Access
W. A. Howard	The Journal of Symbolic Logic	1991	Restricted

Metaphysics & Logic

Also by LaFont

Democracy without Shortcuts: A Participatory Conception of Deliberative Democracy (3 reviews)
Heidegger, Language, and World-Disclosure (3 reviews)
Unverkürzte Demokratie. Eine Theorie deliberativer Bürgerbeteiligung (3 reviews)
La razón como lenguaje. Una revisión del "giro lingüístico" en la filosofía del lenguaje alemana (1 review)
The Linguistic Turn in Hermeneutic Philosophy (1 review)
The linguistic turn: recent essays in philosophical method (1 review)

Search PhilReviews for this title