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

The Deductive Foundations of Computer Programming Paperback

The Deductive Foundations of Computer Programming by Zohar Manna: Used

Foundations of Computer Science: C Edition (Principles of Comp...

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

Foundations of Programming Languages (Undergraduate Topics in Computer Scien...

Basic Logic: The Fundamental Principles of Formal Deductive Reasoning

Euclidean and Transformational Geometry: A Deductive Inquiry