Logic Seminar
Wim Ruitenburg, Marquette University
Event Details
Date
Tuesday, October 24, 2023
Time
4 p.m.
Location
901 Van Vleck Hall
Description
Predicate Logic for Transitive Kripke Models
Cost
Free