Gamsakhurdia, Mariami

Advisor:
Matthias Baaz

Research Topic:
Mathematical logic, Proof theory, Epsilon calculus, Analysis of Incorrect proofs, Skolemization, Intermediate logics