LudwigAbap

logic: linear

Subcategories

Papers

paper Michael Rathjen · 2024 Proof Theory Hilbert, David: program in the foundations of mathematics epsilon calculus logic: linear mathematics: constructive proof theory: development of reasoning: automated semantics: proof-theoretic set theory: constructive and intuitionistic ZF type theory