Logic from Russell to Church Logic from Russell to Church
2009
Mediaeval and Renaissance Logic Mediaeval and Renaissance Logic
2008
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
2003
British Logic in the Nineteenth Century British Logic in the Nineteenth Century
2008
Greek, Indian and Arabic Logic Greek, Indian and Arabic Logic
2004
The Rise of Modern Logic: from Leibniz to Frege The Rise of Modern Logic: from Leibniz to Frege
2004