Carruccio, Ettore Mathematics and logic in history and in contemporary thought / Ettore Carruccio . - Chicago : Aldine, 1964 . - 398 p. Lógica simbólica e matemática Filosofia da ciência História da matemática CDU 51-10