Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Lecture 1: Motivation and Propositional Logic
2.
Lecture 2: Predicate Logic and Sets
3.
Lecture 3: Programs and Theorems
4.
Lecture 4: Backward Proofs
5.
Lecture 5: Forward Proofs
6.
Lecture 6: Functional Programming
