The following pages link to (Q3798834):
Displaying 5 items.
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Descent and duality (Q1345009) (← links)
- (Q4975426) (← links)
- Topos Theory in Montréal in the 1970s: My Personal Involvement (Q5208240) (← links)
