Pages that link to "Item:Q910401"
From MaRDI portal
The following pages link to A logic of abstraction related to finite constructive number classes (Q910401):
Displaying 6 items.
- Levels of truth (Q1903585) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- Prime factorizations of abstract domains using first-order logic (Q2956723) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (Q4295223) (← links)
- Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects† (Q5234244) (← links)