01208nam a2200313 i 450099100109549970753620020507183157.0950915s1981 de ||| | eng 3540111611b10800256-39ule_instLE01306942ExLDip.to Matematicaeng511.3AMS 03-06Muller, Gert H.478846Logic Symposia, Hakone, 1979, 1980 :proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /edited by G. H. Muller, G. Takeuti, and T. TuguéBerlin :Springer-Verlag,1981xi, 394 p. ;25 cm.Lecture notes in mathematics,0075-8434 ;891Includes bibliographiesSymbolic logicCongressesTakeuti, GaisiTugué, Tosiyuki.b1080025623-02-1728-06-02991001095499707536LE013 03-XX MUL12 (1981)12013000035864le013-E0.00-l- 00000.i1090409828-06-02Logic Symposia, Hakone, 1979, 1980925486UNISALENTOle01301-01-95ma -engde 01