Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.

• 資料種別: 図書
• タイトル: Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
• シリーズタイトル: Studies in logic and the foundations of mathematics
• 著者標目: Crossley, John N ( 00436937 )典拠; Dummett, Michael A. E.; Association for Symbolic Logic.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; 北大西洋条約機構 キタタイセイヨウ ジョウヤク キコウ ( 00568052 )典拠; Logic Colloquium ( (8th : : 1963 : : Oxford, Oxfordshire) ); Symposium on Recursive Functions ( (1963 : : Oxford, Oxfordshire) )
• 出版事項: Amsterdam : North-Holland Pub. Co.
• 出版年月日等: 1965.
• 出版年（W3CDTF）: 1965
• 数量: 320 p. 23 cm.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 件名標目: Logic, Symbolic and mathematical.; Recursive functions.
• LCC: QA9
• DDC: 164
• 一般注記: Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.; Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
• 書誌注記: Includes bibliographies.
• 所蔵機関: 国立国会図書館
• 請求記号: 164-C951f
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006164169; http://id.ndl.go.jp/bib/000006164169
• LC control number: 66002289 //r84; https://lccn.loc.gov/66002289
• 整理区分コード: 211