The following pages link to Intensionality in mathematics (Q762052):
Displaying 5 items.
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- The intentionality of formal systems (Q850488) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- (Q4925874) (← links)