LEADER 00909nam0-22003251i-450 
001 990001219480403321
005 20240118094051.0
035   $a000121948
035   $aFED01000121948
035   $a(Aleph)000121948FED01
035   $a000121948
100   $a20000920d1986----km-y0itay50------ba
101 0 $aeng
200 1 $aBounded arithmetic$fSamuel R. Buss
210   $aNapoli$cBibliopolis$d1986
215   $a221 p.$cill.$d25 cm
225 1 $aStudies in Proof Theory$electure notes$v3
610 0 $aFondamenti della logica matematica e probabilità
676   $a519
700  1$aBuss,$bSamuel R.$052029
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001219480403321
952   $a114-E-41$b3872$fMA1
952   $a10 DO 95 TA$bDONOTAMBURRINI95/23$fDINEL
959   $aDINEL
959   $aMA1
996   $aBounded Arithmetic$9335250
997   $aUNINA
DB    $aING01