城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Muller G. H.)
該当件数:8件
Sets and classes : on the work by Paul Bernays / edited by Gert H. Muller.
v. 84. - Amsterdam : North-Holland , 1976. - New York : Elsevier/North-Holland , 1976. - (Studies in logic and the foundations of mathematics ; v. 84)
図書
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. MN̄ller and D. S. Scott.
669. - Berlin : Springer , 1978. - (Lecture notes in mathematics ; 669)
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1104)
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks.
1141. - Berlin : Springer , c1985.. - (Lecture notes in mathematics ; 1141)
Set theory / Andreas R. Blass (editor).
v. 5. - Berlin : Springer-Verlag , c1987. - (Ω-bibliography of mathematical logic ; v. 5). - (Perspectives in mathematical logic)
Recursion 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. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in mathematics ; 1432)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. MN̄ller, A. Oberschelp, K. Potthoff.
499. - Berlin : Springer , 1975. - (Lecture notes in mathematics ; 499)
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Muller, G. Takeuti, and T. Tugue.
891. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 891)