Events

Logic Seminar: Matthew Harrison-Trainor - University of Waterloo

Thu Nov 16, 2017 2:00PM - 3:00PM • 125 Hayes-Healy Hall

Calendars: Logic Seminars

Title: When is a property expressed in infinitary logic also pseudo-elementary

Abstract

View Upcoming Events

Subscribe to iCal