Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Mathematical logic and applications. Proc.meeting, Kyoto, 1987
Авторы: Shinoda J., Slaman T., Tugue T.
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.