Aristotle's Assertoric Syllogistic (Formal proof development)

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{e4130d7c3df44294b460c2d0dae5c840,

title = "Aristotle's Assertoric Syllogistic (Formal proof development)",

author = "Angeliki Koutsoukou-Argyraki",

note = "\url{https://www.isa-afp.org/entries/Aristotles_Assertoric_Syllogistic.html} ",

year = "2019",

month = oct,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}