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