Pages that link to "Item:Q4382463"
From MaRDI portal
The following pages link to Power types in explicit mathematics? (Q4382463):
Displaying 6 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- About Truth and Types (Q3305551) (← links)
