Category Archives: Higher topos theory

Syllogisme, logique aristotélicienne et théorie des catégories

https://ncatlab.org/nlab/show/syllogism

Advertisements