LEADER 00885nmm a2200253 i 4500
001 991000526769707536
007 cr nn 008mamaa
008 080930s2009    de         j        eng d
020   $a9783540693192
035   $ab13870579-39ule_inst
040   $aDip.to Matematica$beng
100 1 $aPohlers, Wolfram$056702
245 10$aProof theory$h[e-book] :$bthe first step into impredicativity /$cby Wolfram Pohlers
260   $aBerlin :$bSpringer,$c2009
300   $bv.: digital
440  0$aUniversitext
650  0$aLogic, Symbolic and mathematical
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/978-3-540-69319-2$zAn electronic book accessible through the World Wide Web
907   $a.b13870579$b03-03-22$c14-01-10
912   $a991000526769707536
996   $aProof theory$981534
997   $aUNISALENTO
998   $ale013$b14-01-10$cm$d@  $e-$feng$gde $h0$i0