Two applications of logic to mathematics (1978)

by GAISI TAKEUTI
Venue:Iwanami Shoten and Princeton