Logic in Computer Science
Michael, Hath
Logic in Computer Science - London Cambridge University Press 2004 - RIT530
--CSE, IT
004.015113
Logic in Computer Science - London Cambridge University Press 2004 - RIT530
--CSE, IT
004.015113