scientific article; zbMATH DE number 1867338
From MaRDI portal
Publication:4793432
zbMath1012.03005MaRDI QIDQ4793432
Publication date: 13 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items
Classical predicative logic-enriched type theories, CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS, Neighbourhoods and Intersubjectivity, The Operational Penumbra: Some Ontological Aspects, WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER, On the mathematical and foundational significance of the uncountable