math
an archive of books with this tag
| Nov 18, 2025 | Types and Programming Languages |
|---|---|
| Nov 18, 2025 | Type Theory and Formal Proof |
| Nov 18, 2025 | Topoi: The Categorial Analysis of Logic |
| Nov 18, 2025 | The Dao of Functional Programming |
| Nov 18, 2025 | Modern Mathematical Logic |
| Nov 18, 2025 | Lectures on the Philosophy of Mathematics |
| Nov 18, 2025 | Computational Complexity: A Modern Approach |