| Call Number | 17224 |
|---|---|
| Day & Time Location |
W 12:10pm-2:00pm 520 Mathematics Building |
| Points | 3 |
| Grading Mode | Standard |
| Approvals Required | None |
| Instructor | Tamar A Lando |
| Type | SEMINAR |
| Method of Instruction | In-Person |
| Course Description | Syntax and semantics; deductive systems; completeness and compactness theorems; first order calculi; Godels completeness theorem; basic model theory, Skolem functions; Skolem-Lowenheim theorems. |
| Web Site | Vergil |
| Department | Philosophy |
| Enrollment | 13 students (20 max) as of 7:06PM Thursday, October 30, 2025 |
| Subject | Computing Science: Philosophy |
| Number | GU4801 |
| Section | 001 |
| Division | Graduate School of Arts and Sciences |
| Section key | 20251CSPH4801G001 |