CS 486: Applied Logic | Spring 1999 |
Other Reference Material
- Computability and Logic by George Boolos and Richard Jeffrey, Cambridge University Press, 1980.
- Introduction to Metamathematics by S. C. Kleene, D. Van Nostrand, Princeton, 1952.
- Introduction to Mathematical Logic, Vol. I by Alonzo Church, Princeton University Press, 1956.
- The Logical Basis for Computer Programming by Z.Manna and R. Waldinger, Addison-Wesley, 1985.
- Logic for Applications by Anil Nerode and Richard Shore, Springer-Verlog, 1993 (QA76.63.N45).
- Logic for Computer Science by Jean Gallier, Harper and Row, 1986.
- Introduction to Elementary Mathematical Logic by A. A. Stolyar, MIT Press, 1970.
- Logic: Techniques of Formal Reasoning by Donald Kalish, Richard Montague and Gary Mar, Harcourt Brace Jovanovich, 1980.
- Proofs and Refutations: The Logic of Mathematical Discovery by Imre Lakatos, Cambridge University Press, 1976.
- From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 edited by Jean van Heijenoort, Harvard University Press, 1967.
- Principia Mathematics to *56 by Alfred North Whitehead and Bertrand Russell, Cambridge University Press, 1962.
Also note these relevant journals:
Journal of Symbolic Logic (JSL); Bulletin of Symbolic Logic; Journal of Automated Reasoning (JAR); Annals of Pure and Applied Logic; Proceedings of Symposium on Logic in Computer Science.
|
Joan Lockwood, Department of Computer Science, Cornell
University, Ithaca, NY. Mail to: joan@cs.cornell.edu |
|