Fundamentos de lógica - Kupperman, Joel (Labor, 1973)