Title: Logic and algorithmic
Subjects: Symbolic and mathematical Logic, Algorithms, Algebraic logic, Congresses
People: Ernst Specker (1920-)