Mathematical foundations of programming /

Bibliographic Details
Main Author:	Beckman, Frank S.
Format:	Book
Language:	English
Published:	Reading, MA : Addison-Wesley, [1980]
Series:	Addison-Wesley systems programming series.
Subjects:	Logic, Symbolic and mathematical. Machine theory. Formal languages.

Description
Physical Description:	xviii, 443 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographies and index.
ISBN:	020114462X