Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978

所蔵情報QRコード

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon

資料種別:

図書

出版情報:

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

形態:

x, 434 p. ; 23 cm

シリーズ名:

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

著者名:

ISBN:

9780444853783 [0444853782]

書誌ID:

BA04017097

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

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

東工大ブックレビュー

類似資料:

1 図書 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	7 図書 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
2 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer	8 図書 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
3 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- Springer-Verlag	9 図書 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
4 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- 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 and structure (: us:pbk. ; : gw) Dalen, D. van (Dirk), 1932- Springer-Verlag	11 図書 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
6 図書 Logic and structure (: pbk) Dalen, D. van (Dirk), 1932- Springer	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