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