02126nam 2200589 450 99646650600331620220908233717.03-540-37100-110.1007/BFb0066201(CKB)1000000000438191(SSID)ssj0000323160(PQKBManifestationID)12132000(PQKBTitleCode)TC0000323160(PQKBWorkID)10296291(PQKB)10031766(DE-He213)978-3-540-37100-7(MiAaPQ)EBC5585852(Au-PeEL)EBL5585852(OCoLC)1066199766(MiAaPQ)EBC6842317(Au-PeEL)EBL6842317(OCoLC)793078431(PPN)155205404(EXLCZ)99100000000043819120220908d1977 uy 0engurnn|008mamaatxtccrFirst order categorical logic model-theoretical methods in the theory of topoi and related categories /M. Makkai, G. E. Reyes1st ed. 1977.Berlin, Germany :Springer,[1977]©19771 online resource (II, 318 p.) Lecture Notes in Mathematics,0075-8434 ;611Bibliographic Level Mode of Issuance: Monograph3-540-08439-8 Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”.Lecture Notes in Mathematics,0075-8434 ;611Model theoryModel theory.511.3Makkai Mihály1939-55822Reyes Gonzalo E.1937-MiAaPQMiAaPQMiAaPQBOOK996466506003316First order categorical logic262847UNISA01489nam0 2200361 i 450 UBO266849420231121125859.08815077278IT2005-8356 20070410d2005 ||||0itac50 baitaitz01i xxxe z01nEconometriaNunzio Cappuccio, Renzo Orsi[Nuova ed.]BolognaIl mulino[2005]770 p.24 cm.Strumenti. Economia001CFI00112082001 Strumenti. Economia Economia matematicaFIRRMLC192417I330ECONOMIA21Cappuccio, NunzioCFIV10280407088990Orsi, RenzoCFIV0643080706375ITIT-0120070410IT-RM1164 IT-FR0098 Biblioteca Luca Pacioli Dipartimento RagioneriaRM1164 Biblioteca Area Giuridico EconomicaFR0098 UBO2668494Biblioteca Area Giuridico Economica 53TER 330/112 53VM 0000023955 VM barcode:ECO001801. - Inventario:1812. - Fondo:Sala consultazioneVMA 1994111520121204 53TER 330/112 n.e. 53VM 0000023945 VM barcode:ECO012529. - Inventario:6725. - Fondo:Sala consultazioneVMA 2005111820121204 40 53Econometria35472UNICAS