back to CS486 Course Homepage


REFERENCES

CS 486: Applied Logic

Spring 2003

 Computability and Logic by George Boolos and Richard Jeffrey, Cambridge University Press, 1980.
 From Frege to Gödel: A Source Book in Mathematical Logic, 18791931 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, SpringerVerlog, 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, AddisonWesley, 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
85684, 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.

