Categorical Logic and Type Theory

by Bart Jacobs · 1 review · 2000

Reviewed by	Journal	Date	Access
R A G Seely	The Bulletin of Symbolic Logic	2000-06-01	Restricted

Metaphysics & Logic

Also by Jacobs

Essays on Kant's Anthropology (7 reviews)
Pursuing Equal Opportunities: The Theory and Practice of Egalitarian Justice (5 reviews)
Schelling lesen (4 reviews)
Choosing Character: Responsibility for Virtue and Vice (2 reviews)
Emotion, Reason and Tradition: Essays on the Social, Political and Economic Thought of Michael Polanyi (2 reviews)
English Transformational Grammar (2 reviews)
On Matricide: Myth, Psychoanalysis and the Law of the Mother (2 reviews)
Reason, Religion, and Natural Law: From Plato to Spinoza (2 reviews)

Search PhilReviews for this title