The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley. (Studies in logic and the foundations of mathematics)

The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

(Studies in logic and the foundations of mathematics)

Call No. (NDL): 164-K65f
Bibliographic ID of National Diet Library: 000006242955

Material type: 図書

Author: Kleene, Stephen Cole, 1909-1994ほか

Publisher: North-Holland Pub. Co.

Publication date: 1965.

Material Format: Paper

Capacity, size, etc.: viii, 206 p. 23 cm.

NDC: -

View All

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: The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Kleene, Stephen Cole, 1909-1994 ( 00445849 )Authorities
Vesley, Richard Eugene, 1932-
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1965.
Publication Date (W3CDTF): 1965
Extent: viii, 206 p. 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Intuitionistic mathematics.
Recursive functions.
LCC: QA9
DDC: 164
511/.33
Note (Bibliography): "Bibliography, by S. C. Kleene": p. [187]-199.
Holding library: 国立国会図書館
Call No.: 164-K65f
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006242955
http://id.ndl.go.jp/bib/000006242955
LC Control Number: 75020959
https://lccn.loc.gov/75020959
Bibliographic Record Category (NDL): 211