安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / ed. by J.N. Crossley and M.A.E. Dummett.

出版发行项:

Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1965.

载体形态项:

320 p. ; 23 cm.

丛编说明:

Studies in logic and the foundations of mathematics

个人责任者:

Crossley,J.N.

附加个人名称:

Crossley, John N. ed.

附加个人名称:

Dummett, Michael, 1925-2011, ed.

附加团体名称:

Association for Symbolic Logic.

附加团体名称:

North Atlantic Treaty Organization.

附加团体名称:

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

附加会议名称:

Symposium on Recursive Functions ((1963 : : Oxford, Oxfordshire))

论题主题:

Logic, Symbolic and mathematical-Congresses.

论题主题:

Recursive functions-Congresses.

中图法分类号:

O141.3-532

一般附注:

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 bibliographical references

豆瓣简介：