| Commit message (Expand) | Author | Age | Files | Lines |
* | Adjust TeX sources to make compilation as handout with beamerarticle easier. | David A. Madore | 2024-01-20 | 1 | -2/+11 |
* | Fix small mistakes noted during lecture on 2024-01-17. | David A. Madore | 2024-01-17 | 1 | -3/+3 |
* | Be more consistent about abbreviating logical rules. | David A. Madore | 2024-01-12 | 1 | -2/+2 |
* | Fix a typo and make small improvement noted during lecture on 2024-01-09. | David A. Madore | 2024-01-09 | 1 | -5/+5 |
* | The set of theorems is not computable. | David A. Madore | 2024-01-09 | 1 | -5/+37 |
* | More around Gödel and whatnot. | David A. Madore | 2024-01-09 | 1 | -13/+159 |
* | Gödel's theorem. | David A. Madore | 2024-01-08 | 1 | -3/+168 |
* | More about first-order arithmetic. | David A. Madore | 2024-01-08 | 1 | -4/+111 |
* | An example proof in Heyting arithmetic. | David A. Madore | 2024-01-08 | 1 | -5/+43 |
* | Start writing about first-order arithmetic. | David A. Madore | 2024-01-08 | 1 | -0/+71 |
* | Curry-Howard and equality for first-order logic. | David A. Madore | 2024-01-08 | 1 | -0/+98 |
* | Try to improve explanations of what sort of quantifications are allowed. | David A. Madore | 2024-01-08 | 1 | -23/+92 |
* | Add minor clarifications here and there. | David A. Madore | 2024-01-08 | 1 | -9/+17 |
* | Rework presentation of first-order logic. | David A. Madore | 2024-01-07 | 1 | -103/+165 |
* | Slightly rework slide on \exists versus sum types. | David A. Madore | 2024-01-07 | 1 | -1/+19 |
* | Continue reworking the introduction to quantifiers (maybe done?). | David A. Madore | 2024-01-06 | 1 | -1/+156 |
* | Rework the introduction to quantifiers (work in progress!). | David A. Madore | 2024-01-06 | 1 | -23/+162 |
* | Fix various mistakes and make some improvements noted during lecture on 2023-... | David A. Madore | 2023-12-20 | 1 | -33/+33 |
* | Change my mind about name of third part. | David A. Madore | 2023-12-19 | 1 | -0/+681 |