00717nam0 2200253 450 00001475120180522151442.020080724d1960----km-y0itay50------baengNLy-------001yyPlasma physicsby J. G. LinhartAmsterdamNorth Holland1960XI, 278 p.ill.23 cmSeries in physics2001Series in physicsPlasma <gas ionizzato>537.1619Linhart,Jiri G631745ITUNIPARTHENOPE20080724RICAUNIMARC000014751537.16/10015187PIST2008Plasma physics1202212UNIPARTHENOPE02217nam 2200613 450 99646686270331620220304103752.03-540-37495-710.1007/BFb0061290(CKB)1000000000438359(SSID)ssj0000324888(PQKBManifestationID)12116381(PQKBTitleCode)TC0000324888(PQKBWorkID)10320826(PQKB)11044926(DE-He213)978-3-540-37495-4(MiAaPQ)EBC5591028(Au-PeEL)EBL5591028(OCoLC)1066181093(MiAaPQ)EBC6842621(Au-PeEL)EBL6842621(PPN)155235346(EXLCZ)99100000000043835920220304d1975 uy 0engurnn#008mamaatxtccrModel theory and topoi /edited by F. W. Lawvere, C. Maurer, G. C. Wraith1st ed. 1975.Berlin ;Heidelberg :Springer-Verlag,[1975]©19751 online resource (VI, 358 p.)Lecture Notes in Mathematics ;445Bibliographic Level Mode of Issuance: Monograph3-540-07164-4 to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi.A Collection of Lectures by Variuos Authors.Lecture notes in mathematics (Springer-Verlag) ;445.Model theoryModel theory.511.3418-06mscLawvere F. W.Maurer Christian1945-Wraith Gavin C.1939-MiAaPQMiAaPQMiAaPQBOOK996466862703316Model theory and topoi262788UNISA