1. Some results on Kripke models over an arbitrary fixed frame
2. Logic and Structure (4th ed.). Universitext (Springer, 2004).
3. and , Forcing, Arithmetic, Division Rings. Lecture Notes in Mathematics 454 (Springer, 1975).
4. Model Theory. Encyclopedia of Mathematics and its Applications 42 (Cambridge University Press, 1993).
5. and , Constructivism in Mathematics, An Introduction (Vol. 1). Studies in Logic and the Foundations of Mathematics 121 (North-Holland, 1988).