The following pages link to (Q5588619):
Displayed 17 items.
- 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)
- Skolem redux (Q1860974) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← 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)
- Russell, presupposition, and the vicious-circle principle (Q5937845) (← links)