scientific article; zbMATH DE number 3307531
From MaRDI portal
zbMath0193.30402MaRDI QIDQ5588619
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Predicativity, the Russell-Myhill paradox, and Church's intensional logic, Why mathematics needs engineering, Set theory in first-order logic: Clauses for Gödel's axioms, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Logic in Russell's Principles of Mathematics, Unnamed Item, Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem, An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning, Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory, Anything confirms anything?, A note on contraction-free logic for validity, Mathematics, science and ontology, Transfinite recursion and computation in the iterative conception of set, Objective probability and the mind-body relation, Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship, Numbers as moments of multisets: a new-old formulation of arithmetic, THE ITERATIVE CONCEPTION OF SET, Russell, presupposition, and the vicious-circle principle, Investigations into quantified modal logic. I, An experimental logic based on the fundamental deduction principle, Frege’s Grundgesetze and a Reassessment of Predicativity, On hierarchical propositions, Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction, Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem, An axiom schema of comprehension of zermelo–fraenkel–skolem set theory, A New–old Characterisation of Logical Knowledge, Logic and Sets, Pilot-Wave theory without nonlocality, On plural reference and elementary set theory, Skolem redux, A finite arithmetic, Why ramify?
