LEADER 01678nam0 22003613i 450 
001 VAN0256462
005 20230831104737.596
017 70$2N$a9783540380207
100   $a20230330d1975       |0itac50      ba
101   $aeng$aGER
102   $aDE
105   $a||||    |||||
200 1 $aISILC - Proof Theory Symposion$eDedicated to Kurt Schütte on the Occasion of His 65. Birthday$eProceedings of the International Summer Institute and Logic Colloquium, Kiel 1974$fedited by J. Diller and G. H. Müller
210   $aBerlin$cSpringer$d1975
215   $aviii, 383 p.$cill.$d24 cm
461  1$1001VAN0102250$12001 $aLecture notes in mathematics$1210  $aBerlin [etc.]$cSpringer$v500
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a00Bxx$xConference proceedings and collections of articles [MSC 2020]$3VANC021742$2MF
610   $aProof Theory$9KW:K
610   $aProofs$9KW:K
610   $aType theory$9KW:K
620   $dBerlin$3VANL000066
702  1$aDiller$bJustus$3VANV209887
702  1$aMüller$bGert H.$3VANV094692
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240614$gRICA
856 4 $uhttps://doi.org/10.1007/BFb0079542$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $fN
912   $aVAN0256462
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  5883        $e08eMF5883              20230411            
996   $a?ISILC proof theory symposion$9262724
997   $aUNICAMPANIA