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