1 Introduction  
2 Order Theory  
3 Set Theory  
4 Programming Languages Theory  
4.1 Inductive and Co-inductive Functional Data Types  
4.2 Object-Oriented Type Theory  
5 First-Order Logic  
6 Category Theory  
7 Comparison Summary