城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Model theory)
該当件数:51件
Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... {et al.}.
New York : Springer-Verlag , c1985.. - (Perspectives in mathematical logic)
図書
Model theory and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre.
890. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 890)
Studies in model theory / {by} Jon Barwise {and others} M. D. Morley, editor.
v. 8. - {Buffalo} : Mathematical Association of America , {c1973}
Classification theory and the number of non-isomorphic models / S. Shelah.
v. 92. - Amsterdam : North-Holland , 1978. - New York : Elsevier/North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 92)
Theorie des modeles en logique mathematique
2e ed.. - Montreal, Quebec, Canada : Presses de l'Universite de Montreal , 1967. - (Seminaire de mathematiques superieures ; 6)
Saturated model theory / {by} Gerald E. Sacks.
Reading, Mass. : W. A. Benjamin , 1972. - (Mathematics lecture note series)
Model theory / Wilfrid Hodges
Cambridge [England] ; New York : Cambridge University Press , 1993. - (Encyclopedia of mathematics and its applications ; v. 42)
Mathematical Logic : Exercises and Solutions / by Laszlo Csirmaz, Zalán Gyenis
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Problem Books in Mathematics. ISSN:21978506)
電子ブック
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.
834. - Berlin : Springer , 1980. - (Lecture notes in mathematics ; 834)
Building models by games / Wilfrid Hodges.
2. - Cambridge, England : Cambridge University Press , 1985. - (London Mathematical Society student texts ; 2)
Around classification theory of models / Saharon Shelah.
1182. - Berlin : Springer , c1986.. - (Lecture notes in mathematics ; 1182)
Completeness properties of classical theories of finite type and the normal form theorem / Peter Pappinghaus.
Warszawa : Pa?nstwowe Wydawn. Nauk. , 1983. - (Dissertationes mathematicae)
Definable quantifiers in second order arithmetic and elementary extensions of {Greek letter omega}-models / Wojciech Guzicki.
Warszawa : Panstwowe Wydawn. Naukowe , 1983. - Warszawa : Available, Ars Polona , 1983. - (Dissertationes mathematicae)
Spectrum of L / W. Marek and K. Rasmussen.
Warszawa : Panstwowe Wydawn. Nauk. , 1983. - Warszawa : {available from Ars Polona} , 1983. - (Dissertationes mathematicae)
Topological model theory / JK̄rg Flum, Martin Ziegler.
Berlin : Springer , 1980. - (Lecture notes in mathematics ; 769)
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge.
Oxford, England : Clarendon Press , 1977. - (Oxford logic guides)
Continuous model theory / by Chen Chung Chang and H. Jerome Keisler
Princeton : Princeton University Press , 1966. - (Annals of mathematics studies ; 58)
Model theoretic algebra : selected topics / Greg Cherlin.
521. - Berlin : Springer , 1976. - (Lecture notes in mathematics ; 521)
First order topology / C.W. Henson ... {et al.}.
Warszawa : Panstwowe Wydawnictwo Naukowe , 1977. - (Dissertationes mathematicae)
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton.
v. 9. - New York : Plenum Press , c1978.. - (Mathematical concepts and methods in science and engineering ; v. 9)