01222nam a22003015i 4500991002192959707536cr nn 008mamaa121227s1981 gw | s |||| 0|eng d9783540386339b1413570x-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323Logic symposia Hakone 1979, 1980[e-book] :proceedings of conferences held in Hakone, Japan, March 21–24, 1979 and February 4–7, 1980 /edited by Gert H. Müller, Gaisi Takeuti, Tosiyuki TuguéBerlin :Springer,19811 online resource (xiv, 398 p.)Lecture Notes in Mathematics,0075-8434 ;891MathematicsLogic, Symbolic and mathematicalMüller, Gert H.Takeuti, GaisiTugué, TosiyukiSpringer eBookshttp://dx.doi.org/10.1007/BFb0090974An electronic book accessible through the World Wide Web.b1413570x03-03-2205-09-13991002192959707536Logic symposia Hakone 1979, 1980262519UNISALENTOle01305-09-13m@ -enggw 00