scientific article; zbMATH DE number 3533138

zbMath0342.18001MaRDI QIDQ4109809

Peter J. Freyd

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations, relations to logic and deductive systems (18A15)

Related Items

Conditional theories ⋮ The visual cortex is a contact bundle ⋮ Univalent Foundations and the Equivalence Principle ⋮ Théories egalitaires dans les langages sur types de graphes ⋮ Univalent foundations as structuralist foundations ⋮ Comparing material and structural set theories ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere