Introducción al simbolismo lógico (EUDEBA, 1965)