TY - BOOK AU - Nidditch,P.H. TI - Introductory formal logic of mathematics AV - QA9 N5 PY - 1957/// CY - London PB - University tutorial KW - Matemáticas KW - Filosofía KW - Lógica simbólica y matemática ER -