Pages that link to "Item:Q4212933"
From MaRDI portal
The following pages link to Alonzo Church's Contributions to Philosophy and Intensional Logic (Q4212933):
Displayed 6 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- The paradox of inference and the non-triviality of analytic information (Q600847) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- The Senses of Functions in the Logic of Sense and Denotation (Q3161628) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)