LEADER 01039nam a22002895i 4500
001 991002232759707536
007 cr nn 008mamaa
008 121227s1989    gw |    s    |||| 0|eng d
020   $a9783540468257
035   $ab14141917-39ule_inst
040   $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng
082 04$a511.3$223
084   $aAMS 03F
100 1 $aPohlers, Wolfram$056702
245 10$aProof theory$h[e-book] :$ban introduction /$cby Wolfram Pohlers
260   $aBerlin :$bSpringer,$c1989
300   $a1 online resource (viii, 220 p.)
440  0$aLecture Notes in Mathematics,$x0075-8434 ;$v1407
650  0$aMathematics
650  0$aLogic, Symbolic and mathematical
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/978-3-540-46825-7$zAn electronic book accessible through the World Wide Web
907   $a.b14141917$b03-03-22$c05-09-13
912   $a991002232759707536
996   $aProof theory$981534
997   $aUNISALENTO
998   $ale013$b05-09-13$cm$d@  $e-$feng$ggw $h0$i0