Proof, Logic and Formalization

by Michael Detlefsen · 3 reviews · 1993–1994

Reviewed by	Journal	Date	Access
Brendan Larvor	International Journal of Philosophical Studies	1994-03-01	—
Gerhard Heinzmann	History and Philosophy of Logic	1994-01-01	—
Mark Steiner	The Journal of Symbolic Logic	1993	Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind History of Philosophy

Also by Detlefsen

Proof and Knowledge in Mathematics (4 reviews)
Hilbert's Program (2 reviews)
An essay on mathematical instrumentalism (1 review)
Descartes' Meditations: A Critical Guide (1 review)
Grenzen der Freiheit - Bedingungen des Handelns - Perspektive des Schuldprinzips . Konsequenzen neurowissenschaftlicher Forschung für das Strafrecht (1 review)
Logic and Formalization (1 review)
The Routledge Handbook of Women and Early Modern European Philosophy (1 review)

Search PhilReviews for this title