検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
シリーズ名：Perspectives in mathematical logic
選択行を：
資料名所在
1Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum. -- Springer, c1995. -- (Perspectives in mathematical logic).教養共４Ｆ哲学 410.9:E
2The higher infinite : large cardinals in set theory from their beginnings / Akihiro Kanamori ; : gw, : us. -- Springer-Verlag, c1994. -- (Perspectives in mathematical logic).教育数学 410.9:K
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
4Model 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
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
7Proof 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
8Classical 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
9Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.] ; : us, : gw. -- Springer-Verlag, c1985. -- (Perspectives in mathematical logic).図書館(書庫) 410.9:M
10Basic set theory / Azriel Levy ; : gw, : us. -- Springer-Verlag, 1979. -- (Perspectives in mathematical logic).教育数学 410.9:L
選択行を：
▲ページトップへ