Most Popular Books
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
- Logic, form and function: The mechanization of deductive reasoning
