Larisa Maksimova profile picture

Larisa Maksimova

Stand Alone

Interpolation and Definability: Modal and Intuitionistic Logics (Oxford Logic Guides Book 46)
Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides, 46)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)
Problems in set theory, mathematical logic, and the theory of algorithms