図書

Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett. (Studies in logic and the foundations of mathematics)

Icons representing 図書

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

(Studies in logic and the foundations of mathematics)

Call No. (NDL)
164-C951f
Bibliographic ID of National Diet Library
000006164169
Material type
図書
Author
Crossley, John Nほか
Publisher
North-Holland Pub. Co.
Publication date
1965.
Material Format
Paper
Capacity, size, etc.
320 p. 23 cm.
NDC
-
View All

Notes on use

Note (General)：

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 o...

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title
Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Series Title
Studies in logic and the foundations of mathematics
Author Heading
Crossley, John N ( 00436937 )Authorities
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 )Authorities
Logic Colloquium ( (8th : : 1963 : : Oxford, Oxfordshire) )
Symposium on Recursive Functions ( (1963 : : Oxford, Oxfordshire) )
Publication, Distribution, etc.
Amsterdam : North-Holland Pub. Co.
Publication Date
1965.
Publication Date (W3CDTF)
1965
Extent
320 p. 23 cm.
Place of Publication (Country Code)
NL
Text Language Code
eng