Cargando…

Logic Meeting

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 lecture...

Descripción completa

Detalles Bibliográficos
Autores principales: Shinoda, Juichi, Tugué, Tosiyuki, Slaman, Theodore
Lenguaje:eng
Publicado: Springer 1989
Materias:
Acceso en línea:https://dx.doi.org/10.1007/BFb0083663
http://cds.cern.ch/record/1696284
_version_ 1780936093460332544
author Shinoda, Juichi
Tugué, Tosiyuki
Slaman, Theodore
author_facet Shinoda, Juichi
Tugué, Tosiyuki
Slaman, Theodore
author_sort Shinoda, Juichi
collection CERN
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.
id cern-1696284
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1989
publisher Springer
record_format invenio
spelling cern-16962842021-04-22T07:03:57Zdoi:10.1007/BFb0083663http://cds.cern.ch/record/1696284engShinoda, JuichiTugué, TosiyukiSlaman, TheodoreLogic MeetingMathematical Physics and MathematicsThese 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.Springeroai:cds.cern.ch:16962841989
spellingShingle Mathematical Physics and Mathematics
Shinoda, Juichi
Tugué, Tosiyuki
Slaman, Theodore
Logic Meeting
title Logic Meeting
title_full Logic Meeting
title_fullStr Logic Meeting
title_full_unstemmed Logic Meeting
title_short Logic Meeting
title_sort logic meeting
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/BFb0083663
http://cds.cern.ch/record/1696284
work_keys_str_mv AT shinodajuichi logicmeeting
AT tuguetosiyuki logicmeeting
AT slamantheodore logicmeeting