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
Gerhard Gentzen
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
This page contains solutions to selected problem sets.
Solutions to Problem Sets
- Solutions for Exercises 1-1, 1-2 (full), 1-3, 1-4, 2-1, 2-2 (partial)
- 2005 Exercises for Functions and Identity
- Solutions to 2005 Exercises for Functions and Identity
- Solutions to Selected Problems Determining Truth-Values Using Formal Semantics
- Solutions to Selected Problems Determining Meta-Logical Properties Using Formal Semantics