scientific article
From MaRDI portal
zbMath0704.03036MaRDI QIDQ3998383
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pythagorean numerologyfunctional interpretationslogical complexitybounding functions\((\Pi _ 2\)-formulae\(\omega \) -consistencyGentzen's transfinite version of the Pythagorean thesis
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03)