Mendeley出力
＜図書＞
Studies in logic / series editor, Dov Gabbay
| 出版者 | London : College Publications |
|---|---|
| コード類 | 書誌ID=2001354676 NCID=BA82085144
|
書誌詳細を表示
| 本文言語 | 〔言語名不明〕 |
|---|---|
| 別書名 | 標題紙タイトル:Texts in logic その他のタイトル:Studies in logic : mathematical logic and foundations |
| 一般注記 | Description based on v. 2 Other title information, v. 8-: Mathematical logic and foundations. Cf. Ser. t.p. verso of v. 18 |
子書誌情報を非表示
| 1 | v. 2 Model based reasoning in science and engineering : cognitive science, epistemology, logic / edited by Lorenzo Magnani : pbk.. - London : College Publications , c2006 |
| 2 | v. 12 Second-order quantifier elimination : foundations, computational aspects and applications / Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szałas London : College Publications , 2008 |
| 3 | v. 54 Proof theory of N4-related paraconsistent logics / Norihiko Kamide, Heinrich Wansing : pbk. - [London] : College Publications , c2015 |