ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

フォーマット:
図書
責任表示:
edited by J. Diller and G.H. Müller
言語:
英語; ドイツ語
出版情報:
Berlin ; New York : Springer-Verlag, 1975
形態:
viii, 383 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 500 <BA00146586>
書誌ID:
BA00214336
ISBN:
9783540075332 [354007533X] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387075334 [038707533X] (: 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 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
7 図書 Logic and language : studies dedicated to professor Rudolf Carnap on the occasion of his seventieth birthday

Bar-Hillel, Yehoshua, Kazemier, B. H., Vuysje, D.

D. Reidel
2 図書 Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K

Cambridge University Press
8 図書 Ill-posed and inverse problems : dedicated to academician Mikhail Mikhailovich Lavrentiev on the occasion of his 70th birthday

Romanov, V. G

European Schoolbooks, VSP
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 図書 Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday

Nešetřil, Jaroslav, 1946-, Klazar, Martin

Springer
4 図書 Graph theory, computational intelligence and thought : essays dedicated to Martin Charles Golumbic on the occasion of his 60th Birthday

Golumbic, Martin Charles, Lipshteyn, Marina, Levit, Vadim E., McConnell, Ross M.

Springer
10 図書 Theory and practice of combinatorics : a collection of articles honoring Anton Kotzig on the occasion of his sixtieth birthday

Kotzig, Anton, Rosa, Alexander, Sabidussi, Gert, Turgeon, Jean

North-Holland
5 図書 Singularity theory : proceedings of the European Singularities Conference, Liverpool, August 1996, dedicated to C.T.C. Wall on the occasion of his 60th birthday

European Singularities Conference, Bruce, Bill, 1952-, Mond, D

Cambridge University Press
11 図書 Function spaces, interpolation theory and related topics : proceedings of the International Conference in honour of Jaak Peetre on his 65th birthday, Lund, …

Cwikel, Michael, 1948-, Engliš, Miroslav, Kufner, Alois, 1934-, Persson, Lars-Erik, Sparr, Gunnar, Peetre, Jaak, 1935-

Walter de Gruyter
6 図書 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
12 図書 Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, …

Workshop on Computer Science Logic, European Association for Computer Science Logic. Meeting, Makowsky, Johann A., &hellip;

Springer