検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Modeltheory
選択行を:
30 件中の 1-10123
資料名所在
1Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré. -- American Mathematical Society, c1989. -- (Contemporary mathematics ; 104).理数学 410.9:M
2Basic model theory / Kees Doets ; : hardcover, : pbk. -- CSLI Publications, . -- (Studies in logic, language and information).教養共4F哲学 410.9:O
3Categoricity / John T. Baldwin. -- American Mathematical Society, 2009. -- (University lecture series ; v. 50).理数学 410.9:B
4Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum. -- Springer, c1995. -- (Perspectives in mathematical logic).教養共4F哲学 410.9:E
5Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.], editors. -- American Mathematical Society, c2012. -- (Contemporary mathematics ; 576).理数学 411.6:S
6A guide to classical and modern model theory / by Annalisa Marcja and Carlo Toffalori ; , : pbk. -- Kluwer Academic, c2003. -- (Trends in logic : studia logica library ; v. 19).教養共4F哲学 411.1:M
7An introduction to stability theory / by Anand Pillay. -- Clarendon Press, . -- (Oxford logic guides ; 8).図書館(書庫) 410.9:P
8Logic and algebra / edited by Yi Zhang ; with a preface by Oleg Belegradek. -- American Mathematical Society, c2002. -- (Contemporary mathematics ; 302).理数学 410.9:Z
9Mathematical logic and model theory : a brief introduction / Alexander Prestel, Charles N. Delzell ; : pbk. -- Springer, c2011. -- (Universitext).教養(教養学部棟) 410.9:P
10Models and ultraproducts / an introduction by J. L. Bell and A. B. Slomson. -- 2nd revised [ed.]. -- North-Holland Publishing Co., 1971.図書館(書庫) 410.1:B
30 件中の 1-10123
選択行を: