Publication:5588619
From MaRDI portal
zbMath0193.30402MaRDI QIDQ5588619
Publication date: 1969
Related Items
Unnamed Item, A finite arithmetic, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Russell, presupposition, and the vicious-circle principle, Numbers as moments of multisets: a new-old formulation of arithmetic, An experimental logic based on the fundamental deduction principle, Set theory in first-order logic: Clauses for Gödel's axioms, An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning, Anything confirms anything?, Mathematics, science and ontology, Investigations into quantified modal logic. I, On plural reference and elementary set theory, Logic in Russell's Principles of Mathematics, Skolem redux, Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship, Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem, THE ITERATIVE CONCEPTION OF SET, An axiom schema of comprehension of zermelo–fraenkel–skolem set theory