検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logic,Symbolicandmathematical -- Bibliography
選択行を：
資料名所在
1Classical logic / Wolfgang Rautenberg (editor) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 1).図書館(書庫) 410.9:O:1
2Model theory / Heinz-Dieter Ebbinghaus (editor) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3).図書館(書庫) 410.9:O:3
3Non-classical logics / Wolfgang Rautenberg (editor) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2).図書館(書庫) 410.9:O:2
4Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6).図書館(書庫) 410.9:O:6
5Recursion theory / Peter G. Hinman (editor) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4).図書館(書庫) 410.9:O:4
6Set theory / Andreas R. Blass (editor) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5).図書館(書庫) 410.9:O:5
選択行を：
▲ページトップへ