The following pages link to (Q5588619):
Displaying 31 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Objective probability and the mind-body relation (Q515367) (← links)
- Numbers as moments of multisets: a new-old formulation of arithmetic (Q536601) (← links)
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- Set theory in first-order logic: Clauses for Gödel's axioms (Q1097252) (← links)
- An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning (Q1146017) (← links)
- Anything confirms anything? (Q1155043) (← links)
- Mathematics, science and ontology (Q1182182) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- On plural reference and elementary set theory (Q1313373) (← links)
- Logic in Russell's Principles of Mathematics (Q1374210) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Skolem redux (Q1860974) (← links)
- Pilot-Wave theory without nonlocality (Q2097951) (← links)
- On hierarchical propositions (Q2301318) (← links)
- Why ramify? (Q2354627) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction (Q2820685) (← links)
- Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (Q3220546) (← links)
- THE ITERATIVE CONCEPTION OF SET (Q3580662) (← links)
- An axiom schema of comprehension of zermelo–fraenkel–skolem set theory (Q4206704) (← links)
- (Q4709880) (← links)
- A finite arithmetic (Q4767316) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (Q4982054) (← links)
- Logic and Sets (Q5006818) (← links)
- Frege’s Grundgesetze and a Reassessment of Predicativity (Q5213626) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- Russell, presupposition, and the vicious-circle principle (Q5937845) (← links)
