1.

図書
図書
1. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
2.

図書
図書
2. Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
edited by Hugues Leblanc
出版情報: Amsterdam : North-Holland, 1973
シリーズ名: Studies in logic and the foundations of mathematics ; v. 68
所蔵情報: loading…
3.

図書
図書
3. Lecture notes in logic
Association for Symbolic Logic
出版情報: Berlin ; New York : Springer-Verlag
所蔵情報: loading…
4.

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

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

図書
図書
6. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Walter A. Carnielli and Luiz Paulo de Alcantara, editors
出版情報: Providence, R.I. : American Mathematical Society, c1988
シリーズ名: Contemporary mathematics ; v. 69
所蔵情報: loading…
7.

図書
図書
7. 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…
8.

図書
図書
8. Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2008
所蔵情報: loading…
9.

図書
図書
9. Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2010
所蔵情報: loading…
10.

図書
図書
10. 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…