Topics in classical and intuitionistic model theory : Lecture notesЛюбецкий, Василий Александрович2000389 с.