NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Primitive Recursive Arithmetic and Proof Terms

Investigates primitive recursive arithmetic with explicit proof term calculi for extracting computational content from formal proofs.