Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and CompletenessGeorge BogerÉpuiséPrévenez-moi
Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK AlgebrasAfrodita IorgulescuÉpuiséPrévenez-moi