Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

フォーマット:
図書
責任表示:
edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1985
形態:
ix, 418 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 1141 <BA00146586>
書誌ID:
BA00602878
ISBN:
9783540156734 [3540156739] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387156736 [0387156739] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933-

Springer-Verlag
7 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic …

ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International &hellip;

Springer-Verlag
2 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977

Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S.

Springer-Verlag
8 図書 Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977

International FCT-Conference, Karpiński, Marek, 1948-

Springer-Verlag
3 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag
9 図書 Analytical methods in probability theory : proceedings of the conference held at Oberwolfach, Germany, June 9-14, 1980

Dugué, Daniel, Lukacs, Eugene, Rohatgi, V. K., 1939-

Springer-Verlag
4 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)

Springer-Verlag
10 図書 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938-

Springer-Verlag
5 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
11 図書 Semigroups : proceedings of a conference held at Oberwolfach, Germany December 16-21, 1978

Jürgensen, Helmut, 1942-, Petrich, Mario, Weinert, Hanns Joachim, 1927-

Springer-Verlag
6 図書 Measure theory Oberwolfach 1981 : proceedings of the conference held at Oberwolfach, Germany, June 21-27, 1981

Conference on Measure Theory, Kölzow, Dietrich, 1930-, Maharam-Stone, Dorothy, 1917-

Springer
12 図書 The Navier-Stokes equations II : theory and numerical methods : proceedings of a conference held in Oberwolfach, Germany, August 18-24, 1991

Heywood, J. G. (John Groves), 1940-, 増田, 久弥(1937-), Rautmann, R., 1930-, Solonnikov, V. A. (Vsevolod &hellip;

Springer-Verlag