LEADER 02129nam  22004693  450 
001 9910744597903321
005 20231110221913.0
010   $a3-662-22110-1
035   $a(CKB)1000000000751032
035   $a(MiAaPQ)EBC3100100
035   $a(Au-PeEL)EBL3100100
035   $a(CaPaEBR)ebr10975002
035   $a(OCoLC)936319234
035   $a(EXLCZ)991000000000751032
100   $a20210901d1998      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic Colloquium '96 $eProceedings of the Colloquium Held in San Sebastia?n, Spain, July 9-15 1996
205   $a1st ed.
210  1$aBerlin, Heidelberg :$cSpringer,$d1998.
210  4$dİ1998.
215   $a1 online resource (266 pages)
225 1 $aLecture Notes in Logic ;$vv.12
311   $a3-540-64668-X 
327   $aLecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastia?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.
410  0$aLecture Notes in Logic 
517   $aLogic Colloquium' 96 
531   $aLOGIC COLLOQUIUM '96
700   $aLarrazabal$b Jesus M$0351360
701   $aLascar$b Daniel$059898
701   $aMints$b Grigori$01226139
701   $aAsher$b Nicholas$0495821
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910744597903321
996   $aLogic Colloquium '96$92846851
997   $aUNINA