ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

フォーマット:
図書
責任表示:
edited by G.H. Müller, A. Oberschelp, K. Potthoff
言語:
英語; フランス語
出版情報:
Berlin ; New York : Springer-Verlag, 1975
形態:
iv, 651 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 499 <BA00146586>
書誌ID:
BA00214154
ISBN:
9783540075349 [3540075348] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387075341 [0387075348] (: u.s.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 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
2 図書 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
8 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923-

Springer-Verlag
3 図書 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
9 図書 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973

Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic

North-Holland Pub. Co, American Elsevier Pub. Co.
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 図書 Conference in Mathematical Logic, London '70 : [proceedings]

Conference in Mathematical Logic, Hodges, Wilfrid

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

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

Springer-Verlag
11 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), &hellip;

Springer-Verlag
6 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science …

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to &hellip;

American Mathematical Society
12 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic

Springer