1.

図書
図書
1. Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Johann A. Makowsky, Elena V. Ravve (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in logic ; 11
所蔵情報: 図書館
2.

図書
図書
2. Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche)
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997
所蔵情報: 図書館
3.

図書
図書
3. Logic Colloquium '92 (: cloth ; : paper)
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
出版情報: Stanford, Calif. : CSLI Publications, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: 図書館
4.

図書
図書
4. Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1992
所蔵情報: 図書館
5.

図書
図書
5. 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
所蔵情報: 図書館
6.

図書
図書
6. 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
所蔵情報: 図書館
7.

図書
図書
7. Lecture notes in logic
Association for Symbolic Logic
出版情報: Berlin ; New York : Springer-Verlag
8.

図書
図書
8. The theory of models : proceedings of the 1963 International Symposium at Berkeley
edited by J.W. Addison, Leon Henkin, Alfred Tarski
出版情報: Amsterdam : North-Holland, 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館
9.

雑誌
雑誌
9. The Journal of symbolic logic
Association for Symbolic Logic
所蔵情報: 図書館