Mathematical Logic: A Course with ExercisesPart II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory

Rene Cori , Daniel Lascar , Donald Pelletier (Translator)