TAKEUTI, Gaisi

Two applications of logic to mathematics - Tokyo The Mathematical Society of Japan 1978 - viii, 137 p.

102547

511.3 / TAK