LEADER 01280nam0 2200289 i 450 
001 VAN0085573
005 20221214121939.564
010   $a978-35-406-9318-5
100   $a20111012d2009       |0itac50      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$1001VAN0024506$12001 $aUniversitext$1210  $aBerlin [etc]$cSpringer$d1930-
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
620   $dBerlin$3VANL000066
700  1$aPohlers$bWolfram$3VANV070242$056702
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240614$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Pohlers - Proof theory. the first step into impredicativity.pdf$zPohlers - Proof theory. the first step into impredicativity.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0085573
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3392        $e08   9126      I       20111012            
996   $aProof theory$981534
997   $aUNICAMPANIA