検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00402693
名称(HDNG)Müller, G. H. (Gert Heinz), 1923-
生没年(DATE)1923-
から見よ(SF)Müller, G. H., 1923-
Müller, Gert H.
M〓ller, Gert Heinz, 1923-
注記(NOTE)International Society for the Study of Time. The study of time, 1972
LCAID50004657
選択行を：
資料名所在
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
7Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Müller and D.S. Scott ; : Berlin, : New York. -- Springer-Verlag, 1978. -- (Lecture notes in mathematics ; 669).教育数学 410.9:H
8Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.) ; : gw, : us. -- Springer-Verlag, c1990. -- (Lecture notes in mathematics ; 1432).理数学 410.9:R
選択行を
▲ページトップへ