Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 / Ed. by R.O. Gandy and C.M.E. [sic] Yates

資料種別:

図書

出版情報:

Amsterdam : North-Holland, 1971

形態:

xiv, 451 p ; 23 cm

シリーズ名:

Studies in logic and the foundations of mathematics ; v. 61 <BA00099329>

著者名:

ISBN:

9780720422610 [0720422612]

書誌ID:

BA03949758

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Logic, Symbolic and mathematical--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] (: Germany ; : U.S.) Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), … Springer-Verlag	7 図書 Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 Logic Colloquium, Drake, F. R. (Frank Robert), Truss, J. K North-Holland
2 図書 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	8 図書 Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R. North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
3 図書 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	9 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw) Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society Springer-Verlag
4 図書 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 Logic Colloquium, Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth North-Holland Pub. Co., Elsevier North-Holland, sole distributors for the U.S.A. and Canada	10 図書 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.
5 図書 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 Logic Colloquium, Macintyre, Angus D., 1935-, Pacholski, Leszek, Paris, Jeff North Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland	11 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us) International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.) Springer-Verlag
6 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.) International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus Springer-Verlag	12 図書 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 (: North-Holland ; : American Elsevier) Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic North-Holland Pub. Co, American Elsevier Pub. Co.

1

2

3

4

5

6

7

8

9

10

11

12