Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
著者
書誌事項
Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
（Lecture notes in logic, 12）
Springer, c1998
- : pbk
大学図書館所蔵 件 / 全21件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.
目次
Preface.- N. Asher: The Logical Founations of Discourse Interpretation.- H. Buhrman & L. Torenvliet: Complete Sets and Structure in Subrecursive Classes.- D. Evans & D. Gray: Kernels and cohomology groups for some finite covers.- V. Kanovei: On 'star' schemata of Kossak and Paris.- U. Kohlenbach: Arithmetizing proofs in analysis.- R. Kossak: Satisifaction classes and autormorphisms of models of PA.- M. Pentus: Free monoid completeness of the Lambeck calculus allowing empty premises.- Y. Peterzil, A. Pillay & S. Starchenko: Simple groups definable in O-minimal structures.- M. Reynolds: Two-Dimensinonal Temporal Logic.- J.H. Schmerl: Rather Classless, Highly Saturated Models of Peano Arithmetic.- G. Takeuti: Incompleteness theorems and Si2 versus Si+12
「Nielsen BookData」 より
