CS 486: Applied Logic
Spring 2001


  • Computability and Logic by George Boolos and Richard Jeffrey, Cambridge University Press, 1980.

  • From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 edited by Jean van Heijenoort, Harvard University Press, 1967.

  • Introduction to Elementary Mathematical Logic by A. A. Stolyar, MIT Press, 1970.

  • 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.

  • 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.

  • Logic: Techniques of Formal Reasoning by Donald Kalish, Richard Montague and Gary Mar, Harcourt Brace Jovanovich, 1980.

  • The Logical Basis for Computer Programming by Z.Manna and R. Waldinger, Addison-Wesley, 1985.

  • Principia Mathematics to *56 by Alfred North Whitehead and Bertrand Russell, Cambridge University Press, 1962.

  • Proofs and Refutations: The Logic of Mathematical Discovery by Imre Lakatos, Cambridge University Press, 1976.

  • The Semantics of Evidence, by Robert L. Constable. Cornell Technical Report 85-684, May 1985.

    Also note these relevant journals:

    Annals of Pure and Applied Logic
    Bulletin of Symbolic Logic
    Journal of Automated Reasoning (JAR)
    Journal of Symbolic Logic (JSL)
    Proceedings of Symposium on Logic in Computer Science.


Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: juanita@cs.cornell.edu