Aristotelis-Categ[..]
Aristotle
Modern C
Jens Gustedt
Mencius
Mencius & D. C. Lau
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Platonic Doctrines of Albinus
Albinus