The following pages link to (Q3016125):
Displaying 5 items.
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Set theory. Centre de Recerca Matemàtica Barcelona, 2003--2004 (Q2502532) (← links)
- (Q3007387) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)
- New Computational Paradigms (Q5717043) (← links)