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