York University (Canada)
0 documents • ranked by quality and engagement.
This course investigates the formal systems of mathematical logic, including proof theory, model theory, and the foundations of mathematics.
No documents uploaded to this course yet.