Primer curso de logica matematica - Suppes, Patrick (Reverte, 1968)