Logic Seminar
Wim Ruitenburg (Marquette)
Event Details
Date
Tuesday, January 30, 2018
Time
4 p.m.
Location
901 Van Vleck Hall
Description
Another proof interpretation for predicate logic
Cost
Free
Contact