ИСТИНА

Гришин Владимир Николаевич

Соавторы: Драгалин А.Г., Кановей В.Г.

8 статей, 1 членство в редколлегии сборника

IstinaResearcherID (IRID): 40759628

Деятельность

• Статьи в журналах

  • 
    • 1988 On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences
    • Grishin V.N., Kanovei V.G.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 182, с. 245-265

• Статьи в сборниках

  • • 1983 Об одном обобщении системы Айкудевича–Ламбека
    • Гришин Владимир Николаевич
    • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 315-335
  • • 1979 Теорема Эрбрана для логики без сокращений
    • Гришин Владимир Николаевич
    • в сборнике Исследования по неклассическим логикам и теории множеств, место издания Наука Москва, с. 316-329
    • редактор Михайлов Александр Иванович
  • • 1977 Аксиоматическая теория множеств
    • Гришин Владимир Николаевич, Драгалин Альберт Григорьевич
    • в сборнике Математическая энциклопедия, серия Математическая энциклопедия, место издания Советская энциклопедия Москва, том 1, с. 104-109
  • • 1976 Об алгебраической семантике логики без сокращений
    • Гришин Владимир Николаевич
    • в сборнике Исследования по теории множеств и неклассическим логикам, издательство Наука (М.), с. 247-264
    • редакторы Бочвар Дмитрий Анатольевич, Гришин Владимир Николаевич
  • • 1976 Редукция аксиом свертывания данной глубины к аксиомам свертывания меньшей глубины
    • Гришин Владимир Николаевич
    • в сборнике Исследования по теории множеств и неклассическим логикам, издательство Наука (М.), с. 174-180
    • редакторы Бочвар Дмитрий Анатольевич, Гришин Владимир Николаевич
  • • 1974 Об одной нестандартной логике и ее применении к теории множеств
    • Гришин Владимир Николаевич
    • в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство Наука (М.), с. 135-171
    • редактор Бочвар Дмитрий Анатольевич
  • • 1972 О некоторых фрагментах системы Куайна NF
    • Гришин Владимир Николаевич
    • в сборнике Исследования по математической лингвистике, математической логике и информационным языкам, место издания Наука Москва, с. 200-212
    • редакторы Бочвар Дмитрий Анатольевич, Финн Виктор Константинович

• Участие в редколлегии сборников

  • • 1976 Исследования по теории множеств и неклассическим логикам
    • члены редколлегии: Гришин В.Н., Бочвар Д.А.
    • издательство Наука (М.)