scientific article; zbMATH DE number 2152237
From MaRDI portal
Publication:4663840
zbMath1060.03023MaRDI QIDQ4663840
Publication date: 4 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items
Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle