LEADER 01169nam a22002775i 4500
001 991002181609707536
007 cr nn 008mamaa
008 121227s1975    gw |    s    |||| 0|eng d
020   $a9783540380207
035   $ab14133933-39ule_inst
040   $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng
082 04$a510$223
245 00$a?ISILC proof theory symposion$h[e-book] :$bdedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 /$cedited by Justus Diller, Gert H. Müller
260   $aBerlin :$bSpringer,$c1975
300   $a1 online resource (cd, 390 p.)
440  0$aLecture Notes in Mathematics,$x0075-8434 ;$v500
650  0$aMathematics
700 1 $aDiller, Justus
700 1 $aMüller, Gert H.
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/BFb0079542$zAn electronic book accessible through the World Wide Web
907   $a.b14133933$b03-03-22$c05-09-13
912   $a991002181609707536
996   $a?ISILC proof theory symposion$9262724
997   $aUNISALENTO
998   $ale013$b05-09-13$cm$d@  $e-$feng$ggw $h0$i0