Skip to main content

Logic Seminar

Wim Ruitenburg (Marquette)

Event Details

Date
Tuesday, January 30, 2018
Time
4 p.m.
Location
Description
Another proof interpretation for predicate logic
Cost
Free

Tags