LEADER 00933nam0-2200349-i-450-
001 990008844650403321
005 20090422122049.0
035   $a000884465
035   $aFED01000884465
035   $a(Aleph)000884465FED01
035   $a000884465
100   $a20090422d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $a--------001yy
200 1 $aProof theory$ethe first step into impredicativity$fWolfafram Pohlers
210   $aBerlino$cSpringer$dc2009
215   $axiii, 370 p.$d24 cm
225 1 $aUniversitext$v200
610 0 $aTeoria della dimostrazione
610 0 $aEliminazione dei tagli
676   $a511.3$v21$zita
700  1$aPohlers,$bWolfram$056702
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008844650403321
952   $aC-6-(200$b23545$fMA1
959   $aMA1
962   $a03F03
962   $a03F05
996   $aProof theory$981534
997   $aUNINA