Most Popular Books
- History and Philosophy of Constructive Type Theory
- Foundational Theories of Classical and Constructive Mathematics
- Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
