Logic Colloquium '90
Author(s)
Bibliographic Information
Logic Colloquium '90
（Lecture notes in logic, 2）
Springer-Verlag, c1993
- : gw
- : us
Available at 29 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Helsinki||1990.793066390
Note
"The 1990 European Summer Meeting of the Association for Symbolic Logic was held in Finland from July 15 to July 22, 1990" -- Foreword
Includes bibliographical references
ASL Summer Meeting in Helsinki
Description and Table of Contents
Description
This volume of conference proceedings contains 13 research papers by speakers representing various fields of mathematical logic, ranging from model theory and the philosophy of mathematics to proof and recursion theory and computer science.
by "Nielsen BookData"