Pages that link to "Item:Q1095139"
From MaRDI portal
The following pages link to Implication and analysis in classical Frege structures (Q1095139):
Displaying 8 items.
- A type-free system extending (ZFC) (Q1121865) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Some results on extensionality in lambda calculus (Q1765154) (← links)
- Universes over Frege structures (Q1861539) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- About Truth and Types (Q3305551) (← links)
- Positive Frege and its Scott‐style semantics (Q3520230) (← links)
