Index of /~leavens/ComS641-Back-von-Wright/lectures

• Parent Directory
• Outline-units.txt
• README.txt
• boolean-exprs-conditionals/
• course-evaluations/
• functions/
• higher-order-logic/
• introduction/
• overview/
• posets-lattices-categories/
• predicate-transformers/
• predicates-and-sets/
• relations/
• states-and-state-transformers/
• summary-review/
• truth-values/