| Class Id | 9519 |
| Days | M |
| Start time | 01:30 PM |
| End time | 04:20 PM |
| Building | MARXH |
| Room | 201 |
| Course Id | 4253 |
| Dept and Number | PHI 520 |
| Area | |
| Title | Logic: First-Order Categorical Logic |
| Description | An examination of first order categorical logic, i.e., first order logic from the "topos theoretic" point of view. Course to develop the tools to understand and assess Makkai's duality theory between first order theories and their categories of models. |
| Prerequisites | |
| Professor | Hans P. Halvorson |