Singh, Arindama . Logics for Computer Science / Textual Documents NULL. - New Delhi : Prentice Hall of India Private Limited , 2003. - 205 ; 24*15. ISBN: Subjects--Index Terms: Fundamentals of Computer Science Dewey Class. No.: 004.1 / SIN