The following pages link to (Q4522882):
Displayed 23 items.
- Schröder and group theory (Q262594) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Russell and his sources for non-classical logics (Q1931336) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- To found or not to found? That is the question! (Q2987736) (← links)
- On the Justification Problems: Towards a Peircean Diagnosis and Solution (Q4608209) (← links)
- Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like (Q4914181) (← links)
- Busting a Myth about Leśniewski and Definitions (Q4983316) (← links)
- Philosophy of Notation in the 19th Century. Peirce, Husserl, and All the Others on Inclusion and Assertion (Q5117366) (← links)
- PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (Q5117592) (← links)
- Peirce’s Sequent Proofs of Distributivity (Q5224499) (← links)
- Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator (Q5350329) (← links)
- A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper (Q5442942) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- What Is the Relation Between Peirce’s Logic and His Philosophy of Logic? (Q6051654) (← links)
- Where is ‘There is’ in ‘∃’? (Q6098647) (← links)
- <i>LINGUA CHARACTERICA</i> AND <i>CALCULUS RATIOCINATOR</i>: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC (Q6153158) (← links)
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus (Q6180120) (← links)