Introducción a la lógica matemática - Suppes, Patrick 1922-2014 (Reverté, 1982)