Primer curso de lógica matemática - Suppes, Patrick (Reverté, 1968)