Daisuke Ikegami: Boolean-valued second-order logic

Thursday, February 7, 2013, 14.15
Seminar room 1.007, Mathematical Institute, University of Bonn

Speaker: Daisuke Ikegami (Berkeley)

Title: Boolean-valued second-order logic


Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.