02387nam 2200589 450 99646661140331620220514215120.03-540-35900-110.1007/BFb0079679(CKB)1000000000438725(SSID)ssj0000327086(PQKBManifestationID)12124362(PQKBTitleCode)TC0000327086(PQKBWorkID)10298889(PQKB)10528705(DE-He213)978-3-540-35900-5(MiAaPQ)EBC5590926(MiAaPQ)EBC6711248(Au-PeEL)EBL5590926(OCoLC)1066186600(Au-PeEL)EBL6711248(OCoLC)1273974328(PPN)155200380(EXLCZ)99100000000043872520220514d1968 uy 0engurnn|008mamaatxtccrThe syntax and semantics of infinitary languages /Jon Barwise, editor1st ed. 1968.Berlin ;Heidelberg :Springer,[1968]©19681 online resource (VI, 270 p.) Lecture Notes in Mathematics ;72Bibliographic Level Mode of Issuance: Monograph0-387-04242-3 3-540-04242-3 Implicit 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.Lecture notes in mathematics (Springer-Verlag) ;72.Infinitary languagesInfinitary languages.511.34Barwise JonMiAaPQMiAaPQMiAaPQBOOK996466611403316Syntax and semantics of infinitary languages83175UNISA00965nam a2200253 i 450099100194549970753620020508184037.0960614s1973 it ||| | ita b10936294-39ule_instPARLA151682ExLDip.to scienze storicheitaGazzola, Pietro36610Analisi culturale del territorio :il centro storico urbano /Pietro Gazzola e Loris A. FontanaPadova :Marsilio,1973104 p. ;23 cm.Documentazione di architettura e di urbanistica ;25TerritorioAnalisiFontana, Loris A..b1093629423-02-1728-06-02991001945499707536LE009 GEOG. 13-27512009000054790le009-E0.00-l- 02020.i1104255228-06-02Analisi culturale del territorio676868UNISALENTOle00901-01-96ma -itait 0100835nam a2200229 i 450099100139832970753620020507125339.0000124s1999 ||| ||| | eng 9264170634b10215001-39ule_instLE02985188ExLISUFI - Sett. Diritti e Politiche EuromediterraneeitaOrganisation for economic co-operation and development118070Employment outlook /June 1999 :OECDUSA :OECD,1999252 p. ;30 cm.b1021500104-10-0627-06-02991001398329707536LE029 330 OEC01.011LE029-0293le029-E0.00-no 00000.i1026381027-06-02Employment outlook207839UNISALENTOle02901-01-00ma -engxx 01