LEADER 01259nam0 2200289 i 450 
001 VAN0085573
005 20221121094713.987
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
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
620   $dBerlin$3VANL000066
700  1$aPohlers$bWolfram$3VANV070242$056702
712   $aSpringer$3VANV108073$4650
801   $aIT$bSOL$c20221125$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   $aUNISOB