1. Decidable fragments of many-sorted logic;Abadi;J. Symbolic Comput.,2010
2. The Complete Works;Aristotle,1984
3. How evolution and logic relate: natural filtering vs foresight, surprising science;Bhala;BigThink,2015
4. A History of Formal Logic;Bocheński,1961