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

>> Google Books

所蔵情報QRコード

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>

著者名:

ISBN:

9783540075349 [3540075348] (: gw)
9780387075341 [0387075348] (: u.s.)

書誌ID:

BA00214154

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	Logic Conference
注記:	Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974 Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings Includes bibliographies
主題:	Logic, Symbolic and mathematical--Congresses; Set theory--Congresses
言語:	英語; フランス語

東工大ブックレビュー

類似資料:

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 … (: gw ; : u.s.) ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International … Springer-Verlag	7 図書 Classical logic (: Germany ; : U.S.) Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag
2 図書 Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and … International Colloquium on Mathematical Logic and Foundations of Set Theory, Bar-Hillel, Yehoshua, Akademyah … North-Holland Pub. Co.	8 図書 Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 Logic Colloquium, Gandy, R. O., Yates, Charles Edmund Michael North-Holland
3 図書 Finite and infinite combinatorics in sets and logic : [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, … NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Sauer, N. W. (Norbert W.), … Kluwer Academic Publishers	9 図書 Non-classical logics (: Germany ; : U.S.) Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag
4 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 (: gw ; : us) Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933- Springer-Verlag	10 図書 Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 Logic Colloquium, Ebbinghaus, Heinz-Dieter, 1939-, Fernandez-Prida, J., Garrido, M., Lascar, D. (Daniel), 1942-, … North-Holland
5 電子ブック ⊨ISILC Logic Conference Gert H. MÃ〓ller SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 Logic Colloquium, Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. North-Holland
6 電子ブック ⊨ISILC Proof Theory Symposion Justus Diller, Müller, G. H., Müller, Gert H. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12