LEADER 01139nam0 2200277 i 450 
001 SUN0085573
005 20151120101600.498
010   $a978-35-406-9318-5$d0.00
100   $a20111012d2009       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aProof theory$ethe first step into impredicativity$fWolfram Pohlers
210   $aBerlin$cSpringer$d2009
215   $aXIII, 370 p.$d24 cm.
410  1$1001SUN0024506$12001 $a*Universitext$1210  $aBerlin$cSpringer.
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$2MF$3SUNC024383
620   $dBerlin$3SUNL000066
700  1$aPohlers$b, Wolfram$3SUNV070242$056702
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20200921$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Pohlers - Proof theory. the first step into impredicativity.pdf$zContents
912   $aSUN0085573
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3392        $e08   9126      I       20111012            
996   $aProof theory$981534
997   $aUNICAMPANIA