The Deductive Foundations of Computer Programming Paperback

The Deductive Foundations of Computer Programming: A One-Volume Version of "the

The Deductive Foundations of Computer Programming by Zohar Manna: Used

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

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