Baaz Matthias

Presentations in Math-Net.Ru

1. Andrews skolemization may shorten proofs non-elementarily
   M. Baaz
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 16, 2023 18:30   
2. The number of axioms
   J. Bydžovský, J. P. Aguilera, M. Baaz
   Logical Perspectives 2021: Summer School and Workshop
   June 18, 2021 17:00   
3. The concept of proof
   Matthias Baaz
   Logical Perspectives 2018
   May 14, 2018 11:30   
4. Epsilon theorems and non-classical logics
   Matthias Baaz
   International workshop "Logical Models of Reasoning and Computation"
   February 1, 2012 16:15