Skip to Nav
Skip to Content
University of Notre Dame
College of Science
Notre Dame Science
Department of Mathematics
Home
About Us
People
Research
Undergraduate Program
Graduate Program
Events
Conferences
Job Opportunities
Faculty Resources
Visitor Information
Mathematics Library
Events
Logic Seminar: Alexandru Buium - University of New Mexico
Thu Oct 16, 2014 2:00PM - 3:00PM
• 258 Hurley Hall
Calendars:
Logic Seminars
Title: Semantic aspects of the second formalization
Abstract
View Upcoming Events
Subscribe to iCal