Research Catalog

Title

Logic Colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, July 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints, eds.

Author

Logic Colloquium (1996 : San Sebastián, Spain)

Publication

Berlin ; New York : Springer, c1998.

Items in the Library & Off-site

Details

Additional Authors

• Larrazabal, Jesús M.
• Lascar, D. (Daniel), 1942-
• Mint︠s︡, G. E.

Description

vi, 261 p. : ill.; 24 cm.

Summary

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.

Series Statement

Lecture notes in logic ; 12

Uniform Title

Lecture notes in logic 12.

Subject

• Logic, Symbolic and mathematical > Congresses
• Logica
• Logique symbolique et mathématique > Congrès
• Mathematics
• Computer science
• Logic, Symbolic and mathematical

Genre/Form

• Conference papers and proceedings
• San Sebastian (1996)

Bibliography (note)

• Includes bibliographical references.

Processing Action (note)

• committed to retain

Contents

From the Contents: Preface -- N. Asher: The Logical Foundations 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: Satisfaction classes and autormorphisms of models of PA -- M. Pentus: Free monoid completeness of the Lambeck calculus allowing empty premises -- (For complete Contents, see Contents Internet).

ISBN

• 354064668X
• 9783540646686

OCLC

• 39867182
• SCSB-10670606

Owning Institutions

Harvard Library