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

>> Google Books

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)

9780387075334 [038707533X] (: u.s.)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

その他の標題:	Proof Theory Symposion
主題:	Proof theory--Congresses; Schütte, K. (Kurt)--Bibliography
分類・件名:	LCC : QA3 LCC : QA9.54 DDC : 510/.8 s DDC : 511/.3 LCSH : Proof theory -- Congresses LCSH : Schütte, K. (Kurt) -- Bibliography
LCCN:	75040482
注記:	Includes bibliographies
TTLL:	eng

類似資料:

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 図書 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
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 電子ブック Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Degano, Pierpaolo, Meseguer, Jose, Nicola, Rocco, SpringerLink (Online service) Springer-Verlag
3 図書 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	9 電子ブック Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Hutchison, David, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Naor, Moni, Pandu Rangan, C., … Springer Berlin Heidelberg
4 電子ブック Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Balduccini, Marcello, Son, Tran Cao, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Algebra Meaning and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer Jos-, SpringerLink (Online service) Springer-Verlag GmbH.
5 図書 Proof theory Schütte, K. (Kurt) Springer-Verlag	11 電子ブック Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard, SpringerLink (Online service) Springer Berlin Heidelberg
6 図書 Proof theory, constructive mathematics Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. … Springer-Verlag	12 電子ブック Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Comon-Lundh Hubert, Kirchner Helene, Kirchner Claude, SpringerLink (Online service) Springer-Verlag