عنوان
پدید آورنده
موضوع
رده
QA9.A1 E358 1998
QA9
.
A1
E358
1998
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3662221101
(Number (ISBN
9783662221105
NATIONAL BIBLIOGRAPHY NUMBER
Number
b581044
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic Colloquium' 96 :
General Material Designation
[Book]
Other Title Information
Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
First Statement of Responsibility
edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint : Springer
Date of Publication, Distribution, etc.
1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(VII, 265 pages)
SERIES
Series Title
Lecture notes in logic, 12.
CONTENTS NOTE
Text of Note
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).
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
A1
Book number
E358
1998
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Daniel Lascar
Grigori Mints
Jesús M Larrazabal
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
