Reviews matching “Information and Knowledge: A Constructive Type-Theoretical Approach”

1 result

BookAuthorReviewerJournalDate
Information and Knowledge: A Constructive Type-Theoretical Approach Giuseppe Primiero Fairouz Kamareddine History and Philosophy of Logic 2009-08-01

Open this search with filters