Title: Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness

Speaker: Professor Wesley Holliday (UC Berkeley)

Time: 15 OCT, 2019, 15:10-18:00

Place: Classroom 406, Second Teaching Building, PKU

Abstract: Abstract.pdf