Varieties of constructive mathematics / Douglas Bridges, Fred Richman. (London Mathematical Society lecture note series ; 97)

Varieties of constructive mathematics / Douglas Bridges, Fred Richman.

(London Mathematical Society lecture note series ; 97)

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

Material Type: 図書
ISBN: 0521318025 (pbk.)
ISSN (series): 0076-0052
Title: Varieties of constructive mathematics / Douglas Bridges, Fred Richman.
Series Title: London Mathematical Society lecture note series ; 97
Author Heading: Bridges, D. S. (Douglas S.) , 1945-
Richman, Fred, 1938-
Publication, Distribution, etc.: Cambridge [Cambridgeshire] : Cambridge University Press
New York : Cambridge University Press
Publication Date: 1987.
Publication Date (W3CDTF): 1987
Extent: x, 149 p. : ill. ; 23 cm.
Place of Publication (Country Code): GB
Text Language Code: eng
Subject Heading: 数学基礎論. Sugakukisoron.
Constructive mathematics.
LCC: QA9.56
DDC: 511.3
NDLC: MA41
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: MA41-A33
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003142857
http://id.ndl.go.jp/bib/000003142857
LC Control Number: 85026904 //r87
https://lccn.loc.gov/85026904
Bibliographic Record Category (NDL): 211