MANNA,ZOHAR, WALDINGER,RICHARD LOGICAL BASIS FOR COMPUTER PROGRAMMING,VOL.1: DEDUCTIVE REASONING - 1 - MASSACHUSETTS AW 1985 - 618 ISBN: KBCS 36.25 Dewey Class. No.: 726