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:
“In an extensive reading of recent books by psychologists, psychoanalysts, psychiatrists, and inspirationalists, I have discovered that they all suffer from one or more of these expression-complexes: italicizing, capitalizing, exclamation-pointing, multiple-interrogating, and itemizing. These are all forms of what the psychos themselves would call, if they faced their condition frankly, Rhetorical-Over-Compensation.”
—James Thurber (1894–1961)
“Learning is, in too many cases, but a foil to common sense; a substitute for true knowledge. Books are less often made use of as “spectacles” to look at nature with, than as blinds to keep out its strong light and shifting scenery from weak eyes and indolent dispositions.... The learned are mere literary drudges.”
—William Hazlitt (1778–1830)
“My main wish is to get my books into other people’s rooms, and to keep other people’s books out of mine.”
—Samuel Butler (1835–1902)