رکورد قبلیرکورد بعدی

" Logic Colloquium' 96 : "


Document Type : BL
Record Number : 761071
Doc. No : b581044
Main Entry : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Title & Author : Logic Colloquium' 96 : : Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996\ edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Publication Statement : Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1998
Series Statement : Lecture notes in logic, 12.
Page. NO : (VII, 265 pages)
ISBN : 3662221101
: : 9783662221105
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).
Abstract : 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.
Subject : Computer science.
Subject : Logic, Symbolic and mathematical.
Subject : Mathematics.
LC Classification : ‭QA9.A1‬‭E358 1998‬
Added Entry : Daniel Lascar
: Grigori Mints
: Jesús M Larrazabal
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟