Two applications of logic to mathematics - Takeuti Gaisi (USA Iwanami Shoten, 1978)