Aristotles_Assertoric_Syllogistic

swMATH38032MaRDI QIDQ53732

No author found.

Related Items (1)

Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started

This page was built for software: Aristotles_Assertoric_Syllogistic