Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Baaz Matthias
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Лекций и докладов:
4
Статистика просмотров:
Эта страница:
695
Страницы публикаций:
188
Полные тексты:
99
Списки литературы:
48
E-mail:
email
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
;
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
Организации
Vienna University of Technology
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024