The Logic of Causation: Definition, Induction and Deduction of Deterministic Cau

Logic, Vol. 1: Deduction (Classic Reprint)

Fundamentals of Logic and Computation With Practical Automated Re

Logic, Vol. 1: Deduction (Classic Reprint)

Automated Deduction - CADE 28 28th International Conference on Au

Puzzle Detective: Crime Mysteries to Solve with Logic & Deduction by Rick Carlil

Automated Deduction in Geometry 10th International Workshop ADG 2

Automated Deduction - CADE-20 20th International Conference on Au