Mark 26c26b17bf

Handout edits

2023-08-02 13:11:14 -07:00

..

0 logic.tex

Cleanup

2023-07-26 17:55:07 -07:00

1 structures.tex

Handout edits

2023-08-02 13:11:14 -07:00

2 quantifiers.tex

Handout edits

2023-08-02 13:11:14 -07:00

3 sets.tex

Handout edits

2023-08-02 13:11:14 -07:00

4 equivalence.tex

Typos

2023-07-27 18:58:45 -07:00