The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning

Manna, Z. | Waldinger, R.

Classics 

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.