| Record ID | marc_loc_2016/BooksAll.2016.part41.utf8:334166116:1230 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part41.utf8:334166116:1230?format=raw |
LEADER: 01230cam a22003257i 4500
001 2014468775
003 DLC
005 20150827112233.0
008 141117s2013 ja a 000 0 jpn
010 $a 2014468775
040 $aDLC$beng$cDLC$erda
041 0 $ajpn$aeng
050 00 $aMLCMJ 2014/00055 (Q)
066 $c$1
245 00 $6880-01$aShōmeiron to fukuzatsusei /$c[kenkyū daihyōsha Suzuki Toshio].
246 15 $aProof theory and complexity
264 1 $6880-02$a[Kyoto] :$bKyōto Daigaku Sūri Kaiseki Kenkyūjo,$c2013.
300 $aii, 176 pages :$billustrations ;$c26 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 0 $6880-03$aSūri Kaiseki Kenkyūjo kōkyūroku,$x1880-2818 ;$v1832
546 $aText in Japanese and English.
500 $aCover title.
504 $aIncludes bibliographical references.
700 1 $6880-04$aSuzuki, Toshio.
880 00 $6245-01/$1$a証明論と複雑性 /$c[研究代表者鈴木登志雄].
880 1 $6264-02/$1$a[Kyoto] :$b京都大学数理解析研究所,$c2013.
880 0 $6490-03/$1$a数理解析研究所講究錄,$x1880-2818 ;$v1832
880 1 $6700-04/$1$a鈴木登志雄.