Record:   Prev Next
書名 証明論と複雑性= Proof theory and complexity / 硏究代表者: 鈴木登志雄(Toshio Suzuki)
出版項 [京都市] : 京都大学数理解析硏究所, 2013
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  310.5 5812 v.1832    在架上    30340200530701
說明 176面: 圖 ; 25公分
系列 数理解析硏究所講究録 ; 1832 = RIMS Kokyuroku ; 1832
数理解析硏究所講究録 ; 1832
RIMS Kokyuroku ; 1832
附註 含參考書目
Alt Author 鈴木登志雄 (Toshio Suzuki), 硏究代表
Record:   Prev Next