Most Popular Books
- The Haskell Road to Logic, Maths and Programming
- Computational Semantics with Functional Programming
- Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings (Lecture Notes in Computer Science)
- Quantifiers, Logic, and Language (Center for the Study of Language and Information - Lecture Notes)
- Filosofie: een inleiding
