-
View document
Day 7 – Quantifiers and logical inference - revised 2017
Description: Presentation by Laureen Park - edited by Jonas Reitz Fall 2017 to make notation more similar to usage in mathematics.