Most Popular Books
- The Haskell Road to Logic, Maths and Programming
- From Logic to Logic Programming (Foundations of Computing)
- Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
- Basic Model Theory (Center for the Study of Language and Information - Lecture Notes)
