 |
| Topic |
Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL
 |
| Lecture |
 |
| Notes |
|
| Topic |
Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL
|
| Lecture |
|
| Notes |
|
| Topic |
Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment