Baaz Matthias

Доклады и лекции в базе данных 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