ИСТИНА

Минц Григорий Ефроимович

Соавторы: Артемов С.Н., Rebrov E.A., Reshetnyak Y.G., Troelstra A., Архангельский В.А., Белеградек О.В., Беляев В.Н., Бокуть Л.А., Валиев М.К., Водопьянов С.К., Гитик М., Гуревич Ю.Ш., Дадеркин Д.О. показать полностью..., Дехтярь М.И., Диковский А.Я., Зельманов Е.И., Зильбер Б.И., Крушкаль С.Л., Кузичев А.С., Кутателадзе С.С., Матиясевич Ю.В., Мусикаев И.Х., Ногина Е.Ю., Семенов А.Л., Слисенко А.О., Столбоушкин А.П., Тайманов И.А., Трахтенброт Б.А.

7 статей, 1 книга, 1 доклад на конференции

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 1

IstinaResearcherID (IRID): 19312090

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

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

  • • 2013 Михаил Абрамович Тайцлин (1936–2013)
    • Архангельский Д.А., Байжанов Б.С., Белеградек О.В., Беляев В.Я., Бокуть Л.А., Валиев М.К., Водопьянов С.К., Гитик М., Гуревич Ю.Ш., Дадеркин Д.О., Дехтярь А.М., Дехтярь М.И., Диковский А.Я., Дудаков С.М., Зельманов Е.И., Зильбер Б.И., Крушкаль С.Л., Кутателадзе С.С., Матиясевич Ю.В., Минц Г.Е., Мусикаев И.Х., Ребров А.К., Решетняк Ю.Г., Семенов А.Л., Столбоушкин А.П., Тайманов И.А., Трахтенброт Б.А.
    • в журнале Сибирские электронные математические известия, № 10, с. 54-65
  • 
    • 2010 Special Issue Dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday Preface
    • Artemov Sergei, Matiyasevich Yuri, Mints Grigori, Slissenko Anatol
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 162, № 3, с. 173-174 DOI
  • 
    • 1999 In memoriam: Albert G. Dragalin - 1941-1998
    • Artemov S., Kushner B., Mints G., Nogina E., Troelstra A.
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 5, № 3, с. 389-391
  • • 1968 О некоторых исчислениях модальной логики
    • Минц Григорий Ефроимович
    • в журнале Труды математического института АН СССР, том 98, с. 88-111
  • • 1964 О предикатных и операторных вариантах построения теорий конструктивной математики
    • Минц Григорий Ефроимович
    • в журнале Труды математического института АН СССР, том 72, с. 383-436

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

  • 
    • 2014 Intuitionistic existential instantiation and epsilon symbol
    • Mints Grigori
    • в сборнике Dag Prawitz on Proofs and Meaning, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 7, с. 225-238
  • • 1979 Нормализация натуральных выводов и эффективность классического существования
    • Минц Григорий Ефроимович
    • в сборнике Логический вывод, место издания Наука Москва, с. 246-266
    • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич

• Книги

  • • 1985 Предисловие к русскому изданию книги: Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика
    • Кузичев Александр Сергеевич, Минц Григорий Ефроимович
    • место издания Мир Москва, 606 с.

• Доклады на конференциях

  • • 2014 Intuitionistic Existential Instantiation and Epsilon Symbol (Устный)
    • Автор: Минц Григорий Ефроимович
    • Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014