東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Fitting Melvin Chris)
該当件数:2件
Proof methods for modal and intuitionistic logics / Melvin Fitting
Dordrecht, Holland : D. Reidel , c1983. - Hingham, Mass.. - Boston, U.S.A.. - (Synthese library ; v. 169)
図書
Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting
: hardback. - Cambridge : Cambridge University Press , 2019. - (Cambridge tracts in mathematics ; 216)