---

＜図書＞
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.
(Studies in logic and the foundations of mathematics ; v. 87)

出版者	Amsterdam : North-Holland
出版者	New York : Elsevier North-Holland
出版年	1977
出版年	1977
大きさ	x, 612 p. : port. ; 23 cm.
著者標目	Logic Colloquium (1976 : Oxford) Gandy, R. O. Hyland, John Martin Elliott
件　名	Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
一般注記	Includes bibliographies.

 類似資料