Larisa Maksimova

2 books

Interpolation and Definability: Modal and Intuitionistic Logic by Larisa Maksimova, Dov M. Gabbay

Interpolation and Definability: Modal and Intuitionistic Logic

Larisa Maksimova, Dov M. Gabbay

522 pages • missing pub info (editions)

nonfiction mathematics
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov, Larisa Maksimova

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

University Series in Mathematics

Igor Lavrov, Larisa Maksimova

282 pages • missing pub info (editions)

nonfiction computer science mathematics science medium-paced