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:
“Be a little careful of your Library. Do you foresee what you will do with it? Very little to be sure. But the real question is, What it will do with you? You will come here & get books that will open your eyes, & your ears, & your curiosity, & turn you inside out or outside in.”
—Ralph Waldo Emerson (1803–1882)
“I always was of opinion that the placing a youth to study with an attorney was rather a prejudice than a help.... The only help a youth wants is to be directed what books to read, and in what order to read them.”
—Thomas Jefferson (1743–1826)
“Critics generally come to be critics not by reason of their fitness for this, but of their unfitness for anything else. Books should be tried by a judge and jury as though they were a crime, and counsel should be heard on both sides.”
—Samuel Butler (1835–1902)