Logic 4: Informal Proof Theory

Von Marius Furter

Ansichten Kommentare

This videos covers the rules for proving first order logic statements. A summary of the rules can be found at https://github.com/MariusFurter/MAT605-haskell-FS23/blob/main/materials/proof%20rules/proof_rules.pd...

Tags