The logical basis for computer programming /

Bibliographic Details

Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, ©1985-©1990.
Series:	Addison-Wesley series in computer science.
Subjects:	Computer programming. Logic, Symbolic and mathematical.