LEADER 01136nam0-2200385-i-450-
001 990009504270403321
005 20111215123723.0
010   $a0-444-89840-9$bhardback
035   $a000950427
035   $aFED01000950427
035   $a(Aleph)000950427FED01
035   $a000950427
100   $a20111215d1998----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aHandbook of proof theory$fedited by Samuel R. Buss
210   $aAmsterdam$cElsevier$d1998
215   $a811 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v137
610 0 $aLogica matematica e fondamenti$aOpere di riferimento generale
610 0 $aTeoria della dimostrazione$aGenerale
610 0 $aCollezioni di articoli di contenuto specifico vario
676   $a511.3$v21$zita
702  1$aBuss,$bSamuel R.
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009504270403321
952   $aC-30-(137$b24964$fMA1
959   $aMA1
962   $a03-00
962   $a03F03
962   $a00B15
996   $aHandbook of proof theory$9851496
997   $aUNINA