Mathematical Logic and applications proceedings - Shinoda J ed.; Mathematical Logic and applications( 1987 : Kyoto ) (Berlin Springer-Verlag, 1989)
Keywords: Mathematical logic