Logic Seminar
| Randall Holmes (Boise State University)
Event Details
Date
Monday, April 25, 2022
Time
3:30 p.m.
Location
B115 Van Vleck Hall
Description
Prefatory material to a proof of Con(NF)
Cost
Free
Contact