scientific article
zbMATH Open0501.03038MaRDI QIDQ3966132
Publication date: 1981
Title of this publication is not available (Why is that?)
proof theoryreflection principlescomputer programsHilbert's programproof theoretic ordinalstheory of proofselementary systemsGentzen's ordinal analysismechanical transformation of proofs
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Collected or selected works; reprintings or translations of classics (01A75) Structure of proofs (03F07) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3966132)
