Special Topics on Applied Mathematical Logic
Spring 20
12
Introduction
Announcements
Lectures
Readings
Administrations
Links
A Mathematical Introduction to Logic
textbook web site
Proofs and Types
textbook web site
Mathematical Logic - Wikipedia
Intuitionistic Logic
Intuitionistic Logic - Wikipedia
Intuitionistic Logic - Stanford Encyclopedia of Philosophy