Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Łełyk Mateusz
В базах данных Math-Net.Ru
Лекций и докладов:
2
Статистика просмотров:
Эта страница:
69
https://www.mathnet.ru/rus/person131334
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
The two halves of disjunctive correctness for the compositional truth predicate
M. Łełyk
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
11 октября 2021 г.
18:00
2.
Prolongable satisfaction classes and iterations of uniform reflection over
$\mathrm{PA}$
M. Łełyk
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г.
17:15
Организации
University of Warsaw
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024