Aho, Alfred V. Foundations of computer science - New York Computer Science Press 1995 - xiii, 786 p. : ill. ; 26 cm. ISBN: 0716782847 Subjects--Topical Terms: Computer science.--Computer program language--Predicate logic--Data modules--Using logic--Algebra--FC Dewey Class. No.: 004 / AHO