Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Brady, Geraldine - Department of Computer Science, University of Chicago
A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta
Practice Test: 2010 June 2 Disclaimers: (1) This practice test does not reflect the actual length
CSPP 50201 Midterm 1 Practice Test: July 12 1. Let p, q, and r be propositions. Prove or disprove
CSPP 50202 Practice Midterm: 2006 August 24 1. (3 pt) Find f(2), f(3), and f(4) if f(n) is defined recursively by f(0) = -1,
