scientific article; zbMATH DE number 1855556
From MaRDI portal
Publication:4787957
zbMath1026.01019MaRDI QIDQ4787957
Publication date: 19 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
GÖDEL’S NOTRE DAME COURSE ⋮ RUSSELL AND GÖDEL ⋮ Gödel on deduction ⋮ Formal Universes ⋮ On mind \& Turing's machines ⋮ Periodic words connected with the tribonacci-Lucas numbers ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ Levy and set theory ⋮ Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Gödel and Intuitionism