"Logic Symposia, Hakone, 1979, 1980" - читать интересную книгу автора (G.H. Müller, G. Takeuti, T. Tugue)