The following pages link to (Q3936721):
Displaying 8 items.
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Classifying toposes for first-order theories (Q1382183) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
- Notes on my scientific life (Q6612807) (← links)
- The category of topological spaces and open maps does not have products (Q6634756) (← links)