Diller J Ed. ISILC proof theory symposiom Dedicate to kurt schutte on the occasion of his 65th birthday, proceedings of the International Summer Institute and Logic Colloquium. - 1975 - Lecture notes in mathematics. . Standard No.: 79451 Source: Textual Dewey Class. No.: R14, L5