Elementos de lógica simbólica - Barreiro de Nudler, Telma (: Kapelusz, 1973)