Logics for computer science
Singh, Arindama, 1957-
Logics for computer science [Book] / Arindama Singh. - New Dehli : Prentice-Hall of India, c2003. - ix, 369 p. : ill. ; 24 cm.
Includes bibliographical references & index.
All.
8120322843
Logic, Symbolic and mathematical.
004.015113
Logics for computer science [Book] / Arindama Singh. - New Dehli : Prentice-Hall of India, c2003. - ix, 369 p. : ill. ; 24 cm.
Includes bibliographical references & index.
All.
8120322843
Logic, Symbolic and mathematical.
004.015113