모바일 메뉴 닫기
 

Events

Colloquia & Seminars

제목
[Seminars] BK 수리논리 세미나/ 정인교(고려대학교) 9월 30일(금) 15시 30분
행사일
2022.09.30
작성일
2022.09.19
작성자
수학과
게시글 내용

강연제목: 직관주의적유형론에서의 분석성과결정가능성및완전성

초청인: 김병한 교수님

첨부
[2022.09.30]BK 수리논리 세미나(정인교 고려대).pdf