富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #様相)
該当件数:2件
数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編
東京 : 共立出版 , 2016.3
図書
様相論理入門 / G.E.ヒューズ, M.J.クレスウェル著 : 三浦聡 [ほか] 訳
訂正版. - 東京 : 恒星社厚生閣 , 1989.3