城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Gabbay Dov M.)
該当件数:7件
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.
v. 148. - Dordrecht, Holland : D. Reidel Pub. Co. , c1981.. - Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston , c1981.. - (Synthese library ; v. 148)
図書
Topics in the philosophy of language / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : Kluwer Academic Publishers , c1989. - (Synthese library ; v. 167 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 4)
Handbook of logic in computer science. vol. 2 / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Oxford, England : Clarendon Press , 1992
Handbook of logic in computer science. vol. 1 / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Extensions of classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel , c1984. - (Synthese library ; v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2)
Alternatives to classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel. - Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers , c1986. - (Synthese library ; v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3)
Elements of classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel. - Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub. , c1983. - (Synthese library ; v. 164 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 1)