The following pages link to ISETL (Q14110):
Displaying 8 items.
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Understanding the processes of advanced mathematical thinking (Q1355397) (← links)
- Workshop calculus: guided exploration with review. Vol. 1 (Q2785799) (← links)
- (Q4284030) (← links)
- (Q4530241) (← links)
- Learning discrete mathematics with ISETL (Q4692624) (← links)
- (Q4718441) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)