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...
Autores principales: | , , |
---|---|
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 |