Quick links
1240 Social Sciences and Humanities
University of California, Davis
One Shields Avenue
Davis, CA 95616
Phone: (530) 752-0607
Fax: (530) 752-8964
Kurt Gödel
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
This page contains links to classic texts relevant to predicate logic.
- Frege’s Begriffsschrift (scan of original German)
- Russell and Whitehead’s Principia Mathematica
- Gödel’s “The Completeness of the Axioms of the Calculus of Functions” (scan of original German)
- Leon Henkin’s “The Completeness of the First-Order Functional Calculus”