Michael, Hath Logic in Computer Science - London Cambridge University Press 2004 - RIT530 Subjects--Topical Terms: --CSE, IT Dewey Class. No.: 004.015113