Areas of Specialization
| Science, Logic, and Mathematics |
| Proof Theory |
| Many-Valued Logic |
Areas of Interest
| Science, Logic, and Mathematics |
| Proof Theory |
| Many-Valued Logic |