RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Salehi Saeed
Доклады и лекции в базе данных Math-Net.Ru
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
15 апреля 2024 г.
18:30
Diagonal-free proofs of the Diagonal Lemma
S. Salehi
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г.
10:35
©
МИАН
, 2024