Most Popular Books
- From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence (From Standard Logic to Logic Programming)
- From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence
- Outline of a Nominalist Theory of Propositions: An Essay in the Theory of Meaning and in the Philosophy of Logic (Synthese Library)
