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

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

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

Deductive Software Verification: Future Perspectives: Reflections on the Occasio

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

Philosophy of Mathematics and Deductive Structure in Euclid's Elements (Dover Bo

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

Introduction to Logic: and to the Methodology of Deductive Sciences - VERY GOOD