A comprehensive index of philosophy book reviews

Reviews matching “Categorical Logic and Type Theory”

1 result

BookAuthorReviewerJournalDate
Categorical Logic and Type Theory Bart Jacobs R A G Seely The Bulletin of Symbolic Logic 2000-06-01

Open this search with filters