Model-Based Knowledge and Its Representation. (slides)(announcement)
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky. (slides)
March 16, 2016
Two invited lectures in the University of Turku, 15 March 2016
Comments Off on Two invited lectures in the University of Turku, 15 March 2016
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.