Introducción a la lógica simbólica - Suppes, Patrick (CECSA, 1969)