> Mehrbändiges Werk
-
Mathematical logic 2 Recursion theory, Gödel's theorems, set theory, model theory René Cori and Daniel Lascar. Translated by Donald H. Pelletier
New York: Oxford University Press, 2001
-
Mathematical logic 1 Propositional calculus, Boolean algebras, predicate calculus René Cori and Daniel Lascar. Translated by Donald H. Pelletier
New York: Oxford University Press, 2000