- Logic Structure: Connective Rules in IPL
- Logic Design: Harmony in IPL
- Logic Inference: Natural Deduction
- Logic Inference: Sequent Calculus
Set Theory
- An Introduction to Set Theory
- Relations and Functions
- Injection, Surjection, Bijection
Abstract Algebra
- An Introduction to Abstract Algebra
- An Introduction to Geometric Group Theory
- The Symmetric Group
- Cosets and Normality
- Semirings as Algorithmic Parameters
Linear Algebra
- An Introduction to Linear Algebra
- Eigenvalues and Eigenvectors
- Singular Value Decomposition (SVD)
- Least Squares Estimation via Projection Matrices
Category Theory
Related sequences
- Language sequence
Fewer Lacunae 