Csus/resource/course/phil 279
From wiki.ucalgary.ca
PHIL 279
Logic I
Contents
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.
