1.

図書
図書
1. Model-theoretic logics
edited by J. Barwise, S. Feferman
出版情報: New York : Association for Symbolic Logic , Cambridge : Cambridge University Press, c2016
シリーズ名: Perspectives in logic
所蔵情報: loading…
2.

図書
図書
2. Bounded variable logics and counting : a study in finite models
Martin Otto
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in logic ; 9
所蔵情報: loading…
3.

図書
図書
3. Models of Peano arithmetic
Richard Kaye
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1991
シリーズ名: Oxford logic guides ; 15
Oxford science publications
所蔵情報: loading…
4.

図書
図書
4. Model theory. 3rd ed
C.C. Chang and H.J. Keisler
出版情報: 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
所蔵情報: loading…
5.

図書
図書
5. Classification theory and the number of non-isomorphic models. Rev. ed
S. Shelah
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990
シリーズ名: Studies in logic and the foundations of mathematics ; v. 92
所蔵情報: loading…
6.

図書
図書
6. Metamathematical investigation of intuitionistic arithmetic and analysis
A.S. Troelstra (ed.)
出版情報: Berlin : Springer, 1973
シリーズ名: Lecture notes in mathematics ; 344
所蔵情報: loading…