Sun, 28 Sep 2008 11:57:15 -0400 |
Adam Chlipala |
Recursive predicates |
Sun, 28 Sep 2008 10:59:04 -0400 |
Adam Chlipala |
Predicates with arguments |
Sat, 27 Sep 2008 16:10:53 -0400 |
Adam Chlipala |
First-order logic |
Sat, 27 Sep 2008 15:31:35 -0400 |
Adam Chlipala |
Constructivity |
Sat, 27 Sep 2008 15:13:01 -0400 |
Adam Chlipala |
[tauto] and [intuition] |
Sat, 27 Sep 2008 14:57:08 -0400 |
Adam Chlipala |
Propositional logic |
Tue, 16 Sep 2008 16:18:11 -0400 |
Adam Chlipala |
Small prose change |
Mon, 15 Sep 2008 10:05:37 -0400 |
Adam Chlipala |
Make Chap. 3 title less grand |