![]() |
| Topic |
Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic
| Lecture |
| Notes |
![]() |
| Topic |
Mod-01 Lec-20 Knights and Knaves Puzzles
| Lecture |
| Notes |
![]() |
| Topic |
Mod-01 Lec-21 Semantic Tableaux Method: Further Examples
| Lecture |
| Notes |
| Bookmarks |

0 Comments
Post a Comment