Mathematical Logic Foundations

Research Frontiers in Intuitionistic Arithmetic and Friedman''s Metatheory

Examines constructive arithmetic systems and their metatheoretic properties, including proof transformations and computational content extraction techniques.

All Mathematical Logic & Foundations PhD categories