Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996

• Autore: Larrazabal Jesus M
• Pubblicazione: Berlin, Heidelberg : , : Springer, , 1998; ©1998
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (266 pages)
• Altri autori: LascarDaniel MintsGrigori AsherNicholas
• Nota di contenuto: Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1.
• Titolo abbreviato (Periodici): LOGIC COLLOQUIUM '96
• Altri titoli varianti: Logic Colloquium' 96
• Titolo autorizzato: Logic Colloquium '96
• ISBN: 3-662-22110-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910744597903321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Logic