Index of /pub/educational/Coursera - Introduction to Logic - Stanford University - intrologic-006/
../
01_Lesson_1_-_Introduction/ 23-Jul-2026 12:22 -
02_Lesson_2_-_Propositional_Logic/ 23-Jul-2026 12:22 -
03_Lesson_3_-_Properties_and_Entailment/ 23-Jul-2026 12:22 -
04_Lesson_4_-_Propositional_Proofs/ 23-Jul-2026 12:22 -
05_Lesson_5_-_Propositional_Resolution/ 23-Jul-2026 12:22 -
06_Lesson_8_-_Relational_Logic_Proofs/ 23-Jul-2026 12:22 -
07_Lesson_9_-_Resolution/ 23-Jul-2026 12:22 -
08_Lesson_10_-_Induction/ 23-Jul-2026 12:22 -
09_Equality/ 23-Jul-2026 12:22 -
10_First_Order_Logic/ 23-Jul-2026 12:22 -
11_General_Game_Playing/ 23-Jul-2026 12:22 -
Extras/ 23-Jul-2026 12:22 -
Forum/ 23-Jul-2026 12:22 -
Home/ 23-Jul-2026 12:22 -
Hypercards/ 23-Jul-2026 12:22 -
Notes/ 23-Jul-2026 12:22 -
Problems/ 23-Jul-2026 12:22 -
Puzzles/ 23-Jul-2026 12:22 -
QuickQuestions15/ 23-Jul-2026 12:22 -
Tools/ 23-Jul-2026 12:22 -
Problems.html 23-Jul-2026 12:21 266740
assignment_home.html 23-Jul-2026 12:21 32078
course_home.html 23-Jul-2026 12:21 76561
entered_login.html 23-Jul-2026 12:21 1373594
intrologic-006-about.json 23-Jul-2026 12:21 4066