Proceeding on the foundations of mathematics - Muller G H Ed.; Symposium on the foundation (1981 : Hakone); Takeuti G Ed.; Tuge T Ed. (Berlin Springer-Verlag, 1981)