Reviews matching “Logical frameworks for truth and abstraction. An axiomatic study”

1 result

BookAuthorReviewerJournalDate
Logical frameworks for truth and abstraction. An axiomatic study Gérard Huet Thomas Strahm The Journal of Symbolic Logic 1998

Open this search with filters