Tutorial slajds for the 2nd/3rd year CS course Logic and Proof (HT'26) lectured by James Worrell at Oxford:
Sheet 1 | Sheet 2 | Sheet 3 | Sheet 4 | Sheet 5 | Sheet 6
"DO NOT CIRCULATE".
Pyxidatol-C/Logic-and-Proof-slajds
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|