Skip to main content
Cornell
Cornell University
College of Arts and Sciences
SEARCH:
Mathematics
Cornell
Department of Mathematics
About
Visitor Info
Positions Available
Dept History
Give to Math
News
Newsletter
External Links
People
Faculty
Graduate Students
Staff
Undergraduate
Graduate
Courses
Research
Events
Logic Seminar
Michael O’Connor
Cornell University
Translations of intuitionistic propositional logic and The order-theoretic structure of free finitely generated Heyting algebras
Tuesday, May 8, 2007 - 3:15pm
Malott 206
Note later than ususal starting time because of department retreat on this day.
