検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA01327050
名称(HDNG)Lenski, Wolfgang, 1952-
生没年(DATE)1952
から見よ(SF)Lenski, W.
注記(NOTE)Omega-bibliography of mathematical logic, c1987- : v. 1, CIP t.p. (Wolfgang Lenski) info. from pub. (Mathematisches Institut, Universität Heidelberg; b. 8/13/52)
LCAID85329323
選択行を：
資料名所在
1Non-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
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
3Recursion 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
4Set 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
5Proof 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
6Classical 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
選択行を
▲ページトップへ