| Mathematical Logic and Set Theory | Holder | ||||
| Boolean Topology and Boolean Algebra | Holder | ||||
| Algebra III | Holder | ||||
| History of mathematics | Holder | ||||
| Mathematics for computing | Holder | ||||
| Linear algebra | Holder | ||||
| Linear algebra supplements | Holder | ||||
| Philosophy of mathematics | Holder | ||||