TY - BOOK AU - Silva, J. Sebastião e TI - Introdução à lógica simbólica e aos fundamentos da matemática PY - 1959/// CY - Lisboa PB - Liceu Normal de Pedro Nunes KW - Lógica KW - Matemática KW - BN KW - por KW - 510 ER -