Logic Colloquium '90
著者
書誌事項
Logic Colloquium '90
（Lecture notes in logic, 2）
Springer-Verlag, c1993
- : gw
- : us
大学図書館所蔵 件 / 全29件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"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
内容説明・目次
内容説明
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.
「Nielsen BookData」 より