Theorems in First-Order Theories

Date: 
Friday, October 18, 2013 - 4:00pm
Location: 
MSB 110
Speaker: 
Michael Lambert (University of Missouri)
Event Type: