The following pages link to (Q4357731):
Displaying 27 items.
- Sets and plural comprehension (Q484118) (← links)
- On fundamental differences between dependent and independent meanings (Q660450) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- Logic in Russell's Principles of Mathematics (Q1374210) (← links)
- Universe of discourse and existence (Q1634754) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- Nominalism and constructivism in seventeenth-century mathematical philosophy (Q1776883) (← links)
- Historical development of modern logic (Q1942092) (← links)
- Why ramify? (Q2354627) (← links)
- Logical consequence in Avicenna's theory (Q2418016) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (Q3096819) (← links)
- The anticipatory profile. An attempt to describe anticipation as process (Q3168391) (← links)
- The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction (Q3305333) (← links)
- Fragmentary structure of global knowledge: constructive processes for interoperability (Q3451527) (← links)
- A Debate About Anderson's Logic (Q3638566) (← links)
- (Q3890137) (← links)
- The need for a dialectical tier in arguments (Q4632311) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- Polymorphic type-checking for the ramified theory of types of Principia Mathematica (Q4924550) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Extension and Self-Connection (Q5013632) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- (Q5536265) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
