2 books • 1 series
Interpolation and Definability
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)