机读格式显示(MARC)
- 000 01728cam a2200373 a 4500
- 008 840501s1965 ne b 100 0 eng
- 040 __ |a DLC |c ICU |d DLC
- 050 00 |a QA9 |b .L63 1963
- 090 __ |a O141.3-532/C951
- 093 __ |a O141.3-532 |2 5
- 099 __ |a CAL 022011153650
- 245 10 |a Formal systems and recursive functions : |b proceedings of the eighth logic colloquium, Oxford, July 1963 / |c ed. by J.N. Crossley and M.A.E. Dummett.
- 260 __ |a Amsterdam : |b North-Holland Pub. Co. ; |a New York : |b American Elsevier Pub. Co., |c 1965.
- 300 __ |a 320 p. ; |c 23 cm.
- 490 0_ |a Studies in logic and the foundations of mathematics
- 500 __ |a Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
- 500 __ |a 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.
- 504 __ |a Includes bibliographical references
- 650 _0 |a Logic, Symbolic and mathematical |v Congresses.
- 650 _0 |a Recursive functions |v Congresses.
- 700 1_ |a Crossley, John N. |e ed.
- 700 1_ |a Dummett, Michael, |d 1925-2011, |e ed.
- 710 2_ |a Association for Symbolic Logic.
- 710 2_ |a North Atlantic Treaty Organization.
- 710 2_ |a International Union of the History and Philosophy of Science. |b Division of Logic, Methodology and Philosophy of Science.
- 711 2_ |a Symposium on Recursive Functions |d ((1963 : : |c Oxford, Oxfordshire))