CS 486
0
Applied Logic
Spring 2010
Announcements
October 28th: In class Quiz about the Completeness Theorem