Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley.

(Studies in logic and the foundations of mathematics)

Call No. (NDL): MA41-29
Bibliographic ID of National Diet Library: 000006160221

Material type: 図書

Author: Kino, A.ほか

Publisher: North-Holland Pub. Co.

Publication date: 1970.

Material Format: Paper

Capacity, size, etc.: viii, 516 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: Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Kino, A.
Myhill, John.
Vesley, Richard Eugene, 1932-
State University College at Buffalo.
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1970.
Publication Date (W3CDTF): 1970
Extent: viii, 516 p. 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Intuitionistic mathematics -- Congresses.
LCC: QA9
DDC: 164
NDLC: MA41
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: MA41-29
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006160221
http://id.ndl.go.jp/bib/000006160221
LC Control Number: 77097196
https://lccn.loc.gov/77097196
Bibliographic Record Category (NDL): 211