University of Minnesota Twin Cities PL Seminar
Home
Books
News
Mailing List
2023-11-06 Discussion: Meanings of logical constansts and justifications of logical laws
November 6, 2023
Paper:
Per Martin-Löf. “On the meanings of the logical constants and the justifications of the logical laws”
Speaker:
Isaac Velasquez
Location:
Lind 316
Time:
2:30-3:30 pm