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