The logic of programming /

Bibliographic Details

Main Author:	Hehner, Eric C. R.
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice/Hall International, [1984]
Series:	Prentice-Hall international series in computer science.
Subjects:	Computer programming. Logic, Symbolic and mathematical.