13:11Sasser's Sort of Simple Method for Proofs with Replacement RulesNathan Sasser76 views·1 year ago
17:12Lecture on 9A Translating Ordinary Language into Predicate LogicNathan Sasser105 views·1 year ago