Books
- Mathematical Logic for Computer Science by Mordechai Ben-Ari. Springer-Verlag, 2nd edition, 2003. ISBN 1-85233-319-7.
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan. Cambridge University Press, 2nd edition, 2004. ISBN 0-521-54310-X.
- Logic for Mathematics and Computer Science by Stanley N. Burris. Prentice Hall, 1997. ISBN 0-13-285974-2.
Read more about this topic: Logic In Computer Science
Famous quotes containing the word books:
“When the Day of Judgement dawns and the great conquerors and lawyers and statesmen come to receive their rewards—their crowns, their laurels, their names carved indelibly upon imperishable marble—the Almighty will turn to Peter and will say, not without a certain envy when he sees us coming with our books under our arms, “Look, these need no reward. We have nothing to give them here. They have loved reading.””
—Virginia Woolf (1882–1941)
“I am positive I have a soul; nor can all the books with which materialists have pester’d the world ever convince me of the contrary.”
—Laurence Sterne (1713–1768)
“Our books approach very slowly the things we most wish to know.”
—Ralph Waldo Emerson (1803–1882)