RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Baaz Matthias

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

Статистика просмотров:
Эта страница:170
Страницы публикаций:75
Полные тексты:44
Списки литературы:18
E-mail:

http://www.mathnet.ru/rus/person27411
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=237568

Публикации в базе данных Math-Net.Ru
1. Note on a Translation to Characterize Constructivity
M. Baaz
Тр. МИАН, 242 (2003),  136–140

Доклады и лекции в базе данных Math-Net.Ru
1. Epsilon theorems and non-classical logics
Matthias Baaz
Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 16:15   

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