close
1.

図書
図書
1. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…
2.

雑誌
雑誌
2. The bulletin of symbolic logic
Association for Symbolic Logic
出版情報: Champaign, Ill. : Association for Symbolic Logic, c1995-
巻次(年次): Vol. 1, no. 1 (Mar. 1995)-
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
edited by Leon Henkin ... [et al.]
出版情報: Providence, R.I. : Published for the Association for Symbolic Logic by the American Mathematical Society, 1974
シリーズ名: Proceedings of symposia in pure mathematics ; v. 25
所蔵情報: loading…
4.

雑誌
雑誌
4. The Journal of symbolic logic
Association for Symbolic Logic
出版情報: Menasha, Wis. : Association for Symbolic Logic, Inc., 1936-
巻次(年次): Vol. 1, no. 1 (Mar. 1936)-
所蔵情報: loading…