Two Applications of Logic to Mathematics. Iwanami Shoten and (1978)

by Gaisi Takeuti