CSSE 490: Logic: Day 2
Topics
- Atomic Sentences
- General first-order languages
- Function symbols
- The first-order language of set theory
- The first-order language of arithmetic
Materials
Assignments
- Read sections 2.0 - 2.3
- Complete assignments 1.15, 1.16, 1.17 and 1.18 by day 3,
BC. Eiher submit them to the appropriate drop box on Angel or submit a
paper copy.