NTHRYS › PhD Assistance › Logic
Select a category to explore research frontiers
Loading categories...
Development of proof systems that decompose atoms into subformulas for fine-grained analysis of logical structure.
All Logic PhD categories