"Logic: A History of its Central Concepts"

Dov M. Gabbay, Francis Jeffry Pelletier, John Woods (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics