Singh, A. (2004). Logics for computer science. Prentice- Hall of India.
Dyfyniad Arddull ChicagoSingh, Arindama. Logics for Computer Science. New Delhi: Prentice- Hall of India, 2004.
Dyfyniad MLASingh, Arindama. Logics for Computer Science. Prentice- Hall of India, 2004.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.