 |
| Topic |
Lec 6: First Order Logic: wffs, interpretations, models
 |
| Lecture |
 |
| Notes |
|
| Topic |
Lec 7: Soundness and Completeness of the First Order Proof System
|
| Lecture |
|
| Notes |
|
| Topic |
Lec 8: Sets, Relations, Functions
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment