---

＜図書＞
Logic Colloquium '69; proceedings of the Summer School and ｛fourteenth｝ Colloquium in Mathematical Logic, Manchester, August 1969 / Edited by R.O. Gandy and C.M.E. Yates.
(Studies in logic and the foundations of mathematics ; v. 61)

出版者	Amsterdam : North-Holland
出版年	1971
大きさ	xiv, 451 p. 23 cm.
著者標目	Summer School in Mathematical Logic (1969 : University of Manchester) Gandy, Robin Oliver Yates, C. Michael E. North Atlantic Treaty Organization International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Victoria University of Manchester Association for Symbolic Logic Logic Colloquium (14th : 1969 : Manchester, Eng.)
件　名	Logic, Symbolic and mathematical Set theory Recursive functions
一般注記	""Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute."" ＼ ""Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science."" ＼ Includes bibliographies.

 類似資料