LEADER 01222nam a22003015i 4500
001 991002192959707536
007 cr nn 008mamaa
008 121227s1981    gw |    s    |||| 0|eng d
020   $a9783540386339
035   $ab1413570x-39ule_inst
040   $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng
082 04$a511.3$223
245 00$aLogic symposia Hakone 1979, 1980$h[e-book] :$bproceedings of conferences held in Hakone, Japan, March 21?24, 1979 and February 4?7, 1980 /$cedited by Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué
260   $aBerlin :$bSpringer,$c1981
300   $a1 online resource (xiv, 398 p.)
440  0$aLecture Notes in Mathematics,$x0075-8434 ;$v891
650  0$aMathematics
650  0$aLogic, Symbolic and mathematical
700 1 $aMüller, Gert H.
700 1 $aTakeuti, Gaisi
700 1 $aTugué, Tosiyuki
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/BFb0090974$zAn electronic book accessible through the World Wide Web
907   $a.b1413570x$b03-03-22$c05-09-13
912   $a991002192959707536
996   $aLogic symposia Hakone 1979, 1980$9262519
997   $aUNISALENTO
998   $ale013$b05-09-13$cm$d@  $e-$feng$ggw $h0$i0