東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 511/.8)
該当件数:29件
Classification theory and the number of non-isomorphic models / S. Shelah
Amsterdam : North-Holland Pub. Co. , 1978. - New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland. - New York. - (Studies in logic and the foundations of mathematics ; v. 92)
図書
An introduction to stability theory / by Anand Pillay
Oxford : Clarendon Pr. , 1983. - New York : Oxford Univ. Pr.. - (Oxford logic guides ; 8)
A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated [from the French] by Moses Klein
New York : Springer , c2000. - (Universitext)
Mathematics of finance / Robert Cissell and Helen Cissell
2nd ed. - Boston : Houghton Mifflin , c1964
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 621)
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 824)
Algorithm theory -- SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 122)
SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / R. Karlsson, A. Lingas (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 318)
Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay, Charles Steinhorn
: hbk. - Cambridge : Cambridge University Press , 2000. - (Mathematical Sciences Research Institute publications ; 39)
Ordered exponential fields / Salma Kuhlmann
Providence, R.I. : American Mathematical Society , c2000. - (Fields Institute monographs ; 12)
Mathematical modelling : a case studies approach / Reinhard Illner ... [et al.]
Providence, RI : American Mathematical Society , c2005. - (Student mathematical library ; v. 27)
Network flows and matching : first DIMACS implementation challenge / David S. Johnson, Catherine C. McGeoch, editors
Providence, R.I. : American Mathematical Society , c1993. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 12)
Basic mathematics for business analysis / O.J. Curry, John E. Pearson
Homewood, Ill. : R.D. Irwin , 1961
Mathematical modelling : theory and application / Hemen Dutta, editor
: pbk. - [Providence, R.I.] : American Mathematical Society , c2023. - (Contemporary mathematics ; 787)
Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1097)
ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 557)
Model theory and modules / Mike Prest
Cambridge : Cambridge Univ. Pr. , 1988. - (London Mathematical Society lecture note series ; 130)
Model theory / Wilfrid Hodges
Cambridge : Cambridge Univ. Pr. , 1993. - New York. - (Encyclopedia of mathematics and its applications ; v. 42)
Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 445)
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 454)
Computational mathematics driven by industrial problems : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 / R. Burkard ... [et al.]
Berlin : Springer , c2000. - (Lecture notes in mathematics ; 1739 . Fondazione C.I.M.E., Firenze / adviser, Arrigo Cellina)
Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / Stefan Arnborg, Lars Ivansson (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1432)
Multiple forcing / T. Jech
Cambridge [Cambridgeshire] : Cambridge University Press , 1986. - New York. - (Cambridge tracts in mathematics ; 88)
Multiscale and adaptivity : modeling, numerics and applications : C.I.M.E. Summer School, Cetraro, Italy, 2009 / Silvia Bertoluzza ... [et al.] ; editors, Giovanni Naldi, Giovanni Russo
: [pbk.]. - Berlin : Springer , c2012. - (Lecture notes in mathematics ; 2040 . C.I.M.E. foundation subseries)
Algorithm theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1097)
Model theory and applications
Providence, R.I. : American Mathematical Society , c1999. - (American Mathematical Society translations ; ser. 2, v. 195)
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)
Around classification theory of models / Saharon Shelah
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in mathematics ; 1182)