Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Baaz Matthias

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1
Лекций и докладов: 4

Статистика просмотров:
Эта страница:695
Страницы публикаций:188
Полные тексты:99
Списки литературы:48
E-mail:

https://www.mathnet.ru/rus/person27411
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/237568

Публикации в базе данных Math-Net.Ru Цитирования
2003
1. M. Baaz, “Note on a Translation to Characterize Constructivity”, Труды МИАН, 242 (2003),  136–140  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 242 (2003), 125–129 1

Доклады и лекции в базе данных Math-Net.Ru
1. Andrews skolemization may shorten proofs non-elementarily
M. Baaz
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 октября 2023 г. 18:30   
2. The number of axioms
J. Bydžovský, J. P. Aguilera, M. Baaz
Logical Perspectives 2021: Summer School and Workshop
18 июня 2021 г. 17:00   
3. The concept of proof
Matthias Baaz
Logical Perspectives 2018
14 мая 2018 г. 11:30   
4. Epsilon theorems and non-classical logics
Matthias Baaz
Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 16:15   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024