Interpolation and Definability Modal and Intuitionistic Logics Gabbay, Dov M. Innbundet / 2005 / Engelsk
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Lavrov Igor Heftet / 2012 / Engelsk
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Lavrov Igor Innbundet / 2003 / Engelsk
