J. Barkley Rosser, Atwell R. Turquette

North-Holland Pub. Co. 1952 Studies in logic and the foundations of mathematics

所蔵館48館