上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Association for Symbolic Logic)
該当件数:5件
The Journal of symbolic logic / Association for Symbolic Logic
Vol. 1, no. 1 (Mar. 1936)-. - Menasha, Wis. : Association for Symbolic Logic, Inc. , 1936-
雑誌 <2000139002>
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)
図書 <1000330464>
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)
図書 <1000326127>
Proceedings / Symposium on Logic in Computer Science
1987 - 1998. - Washington, D.C. : IEEE Computer Society Press , c1986-
図書 <1000684525>
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)
電子ブック <1003025523>