Two applications of logic to mathematics /by Gaisi Takeuti.
- Tokyo [Japan] ; Iwanami Shoten : (c)1978. Princeton, New Jersey : Princeton University Press, (c)1978.
- 1 online resource (148 pages).
- Publications of the Mathematical Society of Japan ; 13 KanÅ Memorial Lectures ; 3 .
Includes bibliographies and index.
9781400871346
Logic, Symbolic and mathematical. Algebra, Boolean.