Proceeding on proof theory - Piller J Ed.; International conference on proof theory (1974 : Keil); Muller G H Ed. (Berlin Springer-Verlag, 1975)
Keywords: Philosophy of maths