scientific article
From MaRDI portal
Publication:3081636
zbMath1244.03003MaRDI QIDQ3081636
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Addressing Circular Definitions via Systems of Proofs, Tiered Arithmetics, Proof Theory of Constructive Systems: Inductive Types and Univalence, Predicativity and constructive mathematics
