Introducción a la lógica simbólica - Suppes, Patrick (C.E.C.S.A., 1984)