PHIL412 - TOPICS IN LOGIC

This course will focus on the fundamental results and techniques of mathematical logic. Topics will be drawn from model theory, proof theory, recursion theory, and set theory. Connections between logic and algebra, analysis, combinatories, computer science, and the foundations of mathematics will be emphasized. Choice of topics will be adjusted to the interests and backgrounds of participants.
Section 401 - SEM
MW 0200PM-0330PM
WEINSTEIN, SCOTT
WILLIAMS HALL 438