Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

所蔵情報QRコード

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland Pub. Co.
New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977

形態:

x, 612 p. ; 23 cm

シリーズ名:

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

著者名:

ISBN:

9780720406917 [0720406919]

書誌ID:

BA04346543

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

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

東工大ブックレビュー

類似資料:

1 図書 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	7 図書 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
2 図書 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	8 図書 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
3 図書 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.	9 図書 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 ((U.S.)) Southeast Asian Conference on Logic (1981 : Singapore), Chong, Chi-Tat, 1949-, Wicks, M. J. (Malcolm John), 1928- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
4 図書 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 (: U.S.) Logic Colloquium, Equipe de logique mathématique (Paris, France) North-Holland	10 図書 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
5 図書 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	11 図書 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
6 図書 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	12 図書 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings (: gw ; : us) International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12