Primer curso de lógica matemática - Suppes, Patrick, 1922-