Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Logic Seminar - Neil DeBoer

Neil DeBoer
Mon, April 8, 2019
12:45 pm - 1:45 pm
Cockins Hall 240

Title: Justification Logic, Type Theory and the BHK Interpretation

Speaker: Neil DeBoer (Ohio State University)

Abstract: TBA

Filed in: