Logic: A History of its Central Concepts - Gabbay, Dov M.; Pelletier, Francis Jeffry; Woods, John (North-Holland, 2012)