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.


AnnouncementsSummaryHandoutsAssignments Spring 97
Web LinksLecture NotesSelected SolutionsAdministrationNuprl

Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: joan@cs.cornell.edu