LEADER 02387nam  2200589   450 
001 996466611403316
005 20220514215120.0
010   $a3-540-35900-1
024 7 $a10.1007/BFb0079679
035   $a(CKB)1000000000438725
035   $a(SSID)ssj0000327086
035   $a(PQKBManifestationID)12124362
035   $a(PQKBTitleCode)TC0000327086
035   $a(PQKBWorkID)10298889
035   $a(PQKB)10528705
035   $a(DE-He213)978-3-540-35900-5
035   $a(MiAaPQ)EBC5590926
035   $a(MiAaPQ)EBC6711248
035   $a(Au-PeEL)EBL5590926
035   $a(OCoLC)1066186600
035   $a(Au-PeEL)EBL6711248
035   $a(OCoLC)1273974328
035   $a(PPN)155200380
035   $a(EXLCZ)991000000000438725
100   $a20220514d1968      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 04$aThe syntax and semantics of infinitary languages /$fJon Barwise, editor
205   $a1st ed. 1968.
210  1$aBerlin ;$aHeidelberg :$cSpringer,$d[1968]
210  4$dİ1968
215   $a1 online resource (VI, 270 p.) 
225 1 $aLecture Notes in Mathematics ;$v72
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-387-04242-3 
311   $a3-540-04242-3 
327   $aImplicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise compactness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria; Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models.
410  0$aLecture notes in mathematics (Springer-Verlag) ;$v72.
606   $aInfinitary languages
615  0$aInfinitary languages.
676   $a511.34
702   $aBarwise$b Jon
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466611403316
996   $aSyntax and semantics of infinitary languages$983175
997   $aUNISA