LEADER 01269nam0 2200301 i 450 
001 SUN0054507
005 20161107015038.590
010   $a04-448-9840-9
100   $a20061016d1998       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aHandbook of proof theory$fedited by Samuel R. Buss
210   $aAmsterdam$aOxford$cElsevier$d1998
215   $a811 p.$d23 cm.
410  1$1001SUN0023705$12001 $aStudies in logic and the foundations of mathematics$v137$1210  $aAmsterdam$cElsevier.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$2MF$3SUNC023705
620   $aGB$dOxford$3SUNL000020
620   $dAmsterdam$3SUNL001716
702  1$aBuss$b, Samuel R.$3SUNV042870
712   $aElsevier$3SUNV000127$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttps://books.google.it/books?id=MfTMDeCq7ukC&printsec=frontcover&hl=it
912   $aSUN0054507
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0656        $e08   6374      I       20061016            
996   $aHandbook of proof theory$9851496
997   $aUNICAMPANIA