Automated Proof Search in Non-Classical Logics
Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
( Automated Deduction in Nonclassical Logics )
【シリーズ】
【出版社 】MIT Press
【発行年度】1990 【冊数】1 【頁数】239 【判型・装丁】6to hard 変
【現品状態】
日焼け汚れ。カバー擦れ・端破れ。本文概ね良好。
【ISBN】0262231441
￥1,200 税込
関連カテゴリ