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