Workshop on

History of Logic