Logic and Theorem-Proving in Programming Languages

University of Oregon