Deductive Software Verification: Future Perspectives: Reflections on the...

Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books

Ahrendt - Deductive Software Verification Future Perspectives Refle - X555z

The Oxford Handbook of LOGIC Deductive and Inductive - Paperback Published 1880

Introduction to Logic and the Methodology of Deductive Sciences by Alfred Tarski

Deductive Software Verification - Future Perspectives : Reflections on the Oc...

Psychology of Deductive Reasoning Jonathan Evans Hardback Academic Book