Mathematical Logic Foundations

Research Frontiers in Analytic Combinatorics and Logical Recursion

Combines analytic combinatorics with recursive definitions in logical systems to study growth rates and enumerative properties of proof structures.

All Mathematical Logic & Foundations PhD categories