The logical basis for computer programming. Volume I. Deductive reasoning

Name: The logical basis for computer programming. Volume I. Deductive reasoning
Author: Zohar Manna and Richard Waldinger

by Zohar Manna and Richard Waldinger · 1 review · 1995

Reviewed by	Journal	Date	Access
Hans Kleine Büning	The Journal of Symbolic Logic	1995	Restricted