城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Association for Symbolic Logic)
該当件数:10件
The Journal of symbolic logic / Association for Symbolic Logic
Vol. 1, no. 1 (Mar. 1936)-. - Menasha, Wis. : Association for Symbolic Logic, Inc. , 1936-
雑誌
The bulletin of symbolic logic
Vol. 1, no. 1 (Mar. 1995)-. - Champaign, Ill. : Association for Symbolic Logic , c1995-
Proceedings of the Second Scandinavian Logic Symposium / Ed. by J. E. Fenstad.
v. 63. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 63)
図書
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)
Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / Edited by M.H. LK̄b.
70. - Berlin : Springer , 1968. - (Lecture notes in mathematics ; 70)
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 : Published for the Association for Symbolic Logic by the American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics ; v. 25)
Proceedings / Edited by Leon Henkin and [others]
Providence : Published for the Association for Symbolic Logic by American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 25)
電子ブック
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Providence, R.I : American Mathematical Society , 1985. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 42)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley
Amsterdam ; New York : North-Holland Pub. Co. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1982. - (Studies in logic and the foundations of mathematics ; v. 108)
Logic Colloquium '69; proceedings of the Summer School and {fourteenth} Colloquium in Mathematical Logic, Manchester, August 1969 / Edited by R.O. Gandy and C.M.E. Yates.
v. 61. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 61)