Logic 5: Natural Deduction - UZH

Logic 5: Natural Deduction

From Marius Furter

views comments

This video covers the formal proof system called natural deduction (without quantifiers), along with the corresponding sequent rules.

Tags