J.H. Schmerl

• Logic Year 1979-80