Skip to main content

Logic Seminar

Wim Ruitenburg, Marquette University

Event Details

Date
Tuesday, October 24, 2023
Time
4 p.m.
Location
Description
Predicate Logic for Transitive Kripke Models
Cost
Free

Tags