Csus/resource/course/phil 279

From wiki.ucalgary.ca
< Csus‎ | resource
Revision as of 22:49, 18 March 2014 by Mbclark (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

PHIL 279
Logic I

Description

Sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems.

Course Notes

Previous Course Materials

Previous Tutorial Materials

External Links

  • WikiProofs - an online compendium of mathematical proofs! Excellent resource for CPSC theory courses, as well as Logic II.