| Nov 18, 2025 | Types and Programming Languages |
| Nov 18, 2025 | Type Theory and Formal Proof |
| Nov 18, 2025 | Tractatus Logico-Philosophicus |
| Nov 18, 2025 | Topoi: The Categorial Analysis of Logic |
| Nov 18, 2025 | The Zen Teachings of Huang Po: On the Transmission of Mind |
| Nov 18, 2025 | The Tao Is Silent |
| Nov 18, 2025 | The Perennial Philosophy |
| Nov 18, 2025 | The Joy of Abstraction: An Exploration of Math, Category Theory, and Life |
| Nov 18, 2025 | The Dao of Functional Programming |
| Nov 18, 2025 | Tao Te Ching |
| Nov 18, 2025 | Tantra Illuminated |
| Nov 18, 2025 | Quintessence |
| Nov 18, 2025 | Philosophy of Mind: Classical and Contemporary Readings |
| Nov 18, 2025 | Paths to God: Living the Bhagavad Gita |
| Nov 18, 2025 | Naming and Necessity |
| Nov 18, 2025 | Modern Mathematical Logic |
| Nov 18, 2025 | Logicomix: An Epic Search for Truth |
| Nov 18, 2025 | Lectures on the Philosophy of Mathematics |
| Nov 18, 2025 | Ecofeminism: Feminist Intersections with Other Animals and the Earth |
| Nov 18, 2025 | Computational Complexity: A Modern Approach |
| Nov 18, 2025 | Braiding Sweetgrass |
| Nov 18, 2025 | Analytic Idealism in a Nutshell |