Proof theory and logical complexity

by Jean-Yves Girard · 2 reviews · 1989

Reviewed by	Journal	Date	Access
Helmut Pfeiffer	The Journal of Symbolic Logic	1989	Restricted
Helmut Pfeiffer	The Journal of Symbolic Logic	1989	Restricted

Metaphysics & Logic

Also by Girard

Die verkannte Stimme des Realen. Eine Theorie archaischer und moderner Mythen (4 reviews)
Ich sah den Satan vom Himmel fallen wie einen Blitz. Eine kritische Apologie des Christentums (3 reviews)
La démocratie délibérative: Anthologie de textes fondamentaux (3 reviews)
A Theater of Envy: William Shakespeare (2 reviews)
Im Angesicht der Apokalypse. Clausewitz zu Ende denken (2 reviews)
Shakespeare. Theater des Neides (2 reviews)
Verità o fede debole? Dialogo su cristianesimo e relativismo (2 reviews)
Achever Clausewitz: Entretiens avec Benoît Chantre (1 review)

Search PhilReviews for this title