Title: A History of Formal Logic. Translated and Edited by Ivo Thomas.