TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Two applications of logic to mathematics
T2  - Kano memorial lectures
AV  - QA9 T33
PY  - 1978///
CY  - Lugar de publicación no identificado
PB  - Shoten
KW  - Álgebra booleana
KW  - Lógica simbólica y matemática
ER  -