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