>> Google Books
タイトル、所在を表示します

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.]
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1984
形態:
viii, 475 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 1104 <BA00146586>
書誌ID:
BA03966043
ISBN:
9783540139010 [354013901X] (: gw)
9780387139012 [038713901X] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer
2 図書 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
8 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag
3 図書 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
9 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag
4 図書 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
10 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
5 図書 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium, Paris, J. B., Wilkie, A. J. (Alec J.), Wilmers, G. M.

North-Holland
11 図書 Proof theory, constructive mathematics

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. &hellip;

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

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

Springer-Verlag
12 図書 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