Two applications of logic to mathematics - Takeuti, Gaisi (Tokyo, Japan Iwanami Shoten, 1978)
Keywords: Logic, Symbolic and mathematical