関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré. -- American Mathematical Society, c1989. -- (Contemporary mathematics ; 104). | 理数学 410.9:M |
2 | Basic model theory / Kees Doets ; : hardcover, : pbk. -- CSLI Publications, . -- (Studies in logic, language and information). | 教養共4F哲学 410.9:O |
3 | Categoricity / John T. Baldwin. -- American Mathematical Society, 2009. -- (University lecture series ; v. 50). | 理数学 410.9:B |
4 | Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum. -- Springer, c1995. -- (Perspectives in mathematical logic). | 教養共4F哲学 410.9:E |
5 | Groups 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 |
6 | A 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 |
7 | An introduction to stability theory / by Anand Pillay. -- Clarendon Press, . -- (Oxford logic guides ; 8). | 図書館(書庫) 410.9:P |
8 | Logic and algebra / edited by Yi Zhang ; with a preface by Oleg Belegradek. -- American Mathematical Society, c2002. -- (Contemporary mathematics ; 302). | 理数学 410.9:Z |
9 | Mathematical logic and model theory : a brief introduction / Alexander Prestel, Charles N. Delzell ; : pbk. -- Springer, c2011. -- (Universitext). | 教養(教養学部棟) 410.9:P |
10 | Models and ultraproducts / an introduction by J. L. Bell and A. B. Slomson. -- 2nd revised [ed.]. -- North-Holland Publishing Co., 1971. | 図書館(書庫) 410.1:B |
選択行を:
|