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
 

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer

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

Springer-Verlag