scientific article; zbMATH DE number 1849876
From MaRDI portal
Publication:4787441
zbMath1014.03004MaRDI QIDQ4787441
Publication date: 7 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)
Related Items
Neologicist nominalism ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs ⋮ Pincherle's theorem in reverse mathematics and computability theory