15-317 Constructive Logic
Recitation 5: Truth Tables

We explore the classical notion of a truth table.


[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning