Tallinn, Estonia
Areas of Specialization
Substructural Logic
Proof Theory
Areas of Interest
Nonclassical Logic, Misc