1978]: Two Applications of Logic to Mathematics (0)

by Gaisi Takeuti
Venue:Tokyo: Iwanami Shoten and Princeton