TAKEUTI, Gaisi Two applications of logic to mathematics - Tokyo The Mathematical Society of Japan 1978 - viii, 137 p. ISBN: 102547 Dewey Class. No.: 511.3 / TAK