Intuitionistic Logic and Provability logic

Dick de Jongh ILLC, University of Amsterdam

Time： 7:20-9:45 pm June 3, June 10, June 11 and June 17.
Place： Teaching Building No.6 6B111

Reading materials:

Please download from the website: http://fenrong.net/events/