Second Augustus De Morgan Workshop on the History of Logic