The following pages link to (Q4739887):
Displaying 19 items.
- Cumulative versus noncumulative ramified types (Q1130235) (← links)
- Philosophy of mathematics: Prospects for the 1990s (Q1182177) (← links)
- Experimenting with Isabelle in ZF set theory (Q1312157) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Covering-based rough sets and modal logics. II. (Q1642771) (← links)
- Local set theory (Q2387839) (← links)
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory (Q2462035) (← links)
- Characterization of model Mirimanov-von Neumann cumulative sets (Q2462036) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- Russell, His Paradoxes, and Cantor's Theorem: Part II (Q3160754) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
- Category theory and set theory as theories about complementary types of universals (Q4683203) (← links)
- A categorical manifesto (Q4713397) (← links)
- Intuitionistic ϵ‐ and τ‐calculi (Q4857864) (← links)
- The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition (Q4983331) (← links)
- Typos of<i>Principia Mathematica</i> (Q4983344) (← links)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)
