Шварц Григорий Феликсович

Публикации в базе данных Math-Net.Ru

1. Редукция реляционной модели с бесконечными областями к случаю конечных областей
   
   Докл. АН СССР, 286:2 (1986),  308–311
2. Экзистенциальность с параметрами некоторых расширений интуиционистской теории типов
   
   Докл. АН СССР, 251:3 (1980),  562–565