矢田部・秋吉両氏にいま一番聞かせたい講演

鈴木信行(静岡大理)
直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存する公理型について

9月16日（水）午前　於京都産業大学