LEADER 01208nam a2200313 i 4500
001 991001095499707536
005 20020507183157.0
008 950915s1981    de            ||| | eng  
020   $a3540111611
035   $ab10800256-39ule_inst
035   $aLE01306942$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
100 1 $aMuller, Gert H.$0478846
245 10$aLogic Symposia, Hakone, 1979, 1980 :$bproceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /$cedited by G. H. Muller, G. Takeuti, and T. Tugué
260   $aBerlin :$bSpringer-Verlag,$c1981
300   $axi, 394 p. ;$c25 cm.
490 0 $aLecture notes in mathematics,$x0075-8434 ;$v891
500   $aIncludes bibliographies
650  4$aSymbolic logic$xCongresses
700 1 $aTakeuti, Gaisi
700 1 $aTugué, Tosiyuki
907   $a.b10800256$b23-02-17$c28-06-02
912   $a991001095499707536
945   $aLE013 03-XX MUL12 (1981)$g1$i2013000035864$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10904098$z28-06-02
996   $aLogic Symposia, Hakone, 1979, 1980$9925486
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gde $h0$i1