02129nam 22004693 450 991074459790332120231110221913.03-662-22110-1(CKB)1000000000751032(MiAaPQ)EBC3100100(Au-PeEL)EBL3100100(CaPaEBR)ebr10975002(OCoLC)936319234(EXLCZ)99100000000075103220210901d1998 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic Colloquium '96 Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 19961st ed.Berlin, Heidelberg :Springer,1998.©1998.1 online resource (266 pages)Lecture Notes in Logic ;v.123-540-64668-X 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.Lecture Notes in Logic Logic Colloquium' 96 LOGIC COLLOQUIUM '96Larrazabal Jesus M351360Lascar Daniel59898Mints Grigori1226139Asher Nicholas495821MiAaPQMiAaPQMiAaPQBOOK9910744597903321Logic Colloquium '962846851UNINA