京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.7)
該当件数:13件
Model theory / C.C. Chang and H.J. Keisler
3rd ed. - Amsterdam ; Tokyo : North-Holland. - New York, NY : Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc. , 1990. - (Studies in logic and the foundations of mathematics ; v. 73)
図書
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 890)
Model theoretic algebra : with particular emphasis on fields, rings, modules / by Christian U. Jensen and Helmut Lenzing
New York : Gordon and Breach Science Publishers , c1989. - (Algebra, logic and applications series ; v. 2)
The reconstruction of trees from their automorphism groups / Matatyahu Rubin
Providence, RI : American Mathematical Society , c1993. - (Contemporary mathematics ; v. 151)
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter
: us,: gw. - Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1103)
Proper forcing / Saharon Shelah
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in mathematics ; 940)
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in mathematics ; 611)
Model theoretic algebra : selected topics / Greg Cherlin
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in mathematics ; 521)
Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D.H. Saracino and V.B. Weispfenning
U.S.,Germany. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 498)
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 454)
Model theory and topoi : a collection of lectures by various authors / edited by F.W. Lawvere, C. Maurer, G.C. Wraith
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 445)
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in mathematics ; 834)
Around classification theory of models / Saharon Shelah
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in mathematics ; 1182)