The logic of programming
By: Eric C.R. Hehner.
Series: Prentice-Hall International series in computer science
Publisher: Prentice/Hall International
Published: 1984
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 361
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. [342]-345.
Includes index.