Logic 4: Informal Proof Theory - UZH

Logic 4: Informal Proof Theory

From Marius Furter

views comments

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