Larisa Maksimova

L.M. ยท Lars Mesenbrink

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics978-O-19-851174-8
(O-19-851174-4)
2005Dov M. Gabbay

Larisa Malashenko