The following pages link to (Q4793432):
Displaying 7 items.
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Neighbourhoods and Intersubjectivity (Q3297254) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS (Q5381037) (← links)
- Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism (Q6653591) (← links)
