Mathematical logic and applications
Subtitle: proceedings of the Logic Meeting held in Kyoto, 1987
By: J. Shinoda, T.A. Slaman, T. Tugué, eds.
Contributors: Shinoda, J. 1948-; Slaman, T. A. 1954-; Tugué, T. 1926-
Series: Lecture notes in mathematics ;; 1388; Lecture notes in mathematics (Springer-Verlag) ;; 1388.
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 222
Subjects: Logic, Symbolic and mathematical -- Congresses.
Description: 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.
Notes: Includes bibliographical references.