April 8, 2019
12:45PM - 1:45PM
Cockins Hall 240
Add to Calendar
2019-04-08 12:45:00
2019-04-08 13:45:00
Logic Seminar - Neil DeBoer
Title: Justification Logic, Type Theory and the BHK Interpretation
Speaker: Neil DeBoer (Ohio State University)
Abstract: TBA
Cockins Hall 240
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2019-04-08 12:45:00
2019-04-08 13:45:00
Logic Seminar - Neil DeBoer
Title: Justification Logic, Type Theory and the BHK Interpretation
Speaker: Neil DeBoer (Ohio State University)
Abstract: TBA
Cockins Hall 240
Department of Mathematics
math@osu.edu
America/New_York
public
Title: Justification Logic, Type Theory and the BHK Interpretation
Speaker: Neil DeBoer (Ohio State University)
Abstract: TBA