عنوان
پدید آورنده
موضوع
رده
QA 9 .T26
QA
9
.
T26
کتابخانه
محل استقرار
73406
آخر۲۷
English
)20(
Takeuti, Gaisi
1926-
Two applications of logic to mathematics
)Tokyo(, )Princeton, N.J.(
Iwanami Shoten, Princeton University Press
1978
viii, 137 p. ; 24 cm
Publications of the Mathematical Society of Japan, 31
Bibliography: p. )136(-137
Includes index
، Logic, Symbolic and mathematical
، Algebra, Boolean
QA
9
.
T26
AU
by Gaisi Takeuti
TI
SE Publications of the Mathematical Society of Japan, 13
SE Publications of the Mathematical Society of Japan, Kano memorial lectures, 3
02
