富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9.54)
該当件数:3件
Math proofs demystified / Stan Gibilisco
New York : McGraw-Hill , c2005. - (Demystified series)
図書
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen
Cambridge, Mass. : MIT Press , c1990. - (The MIT Press series in artificial intelligence)
Proof methods for modal and intuitionistic logics / Melvin Fitting
Dordrecht, Holland ; Boston, U.S.A. : D. Reidel. - Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Boston , c1983. - (Synthese library ; v. 169)