CS 301k - Foundations of Logical Thought
Computer Sciences Dept * The University of Texas at Austin * Spring 2013