"Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980" - читать интересную книгу автора (G.H. Müller, G. Takeuti, T. Tugue)