Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.

• Material Type: 図書
• ISBN: 0444702660 (v. 1)
• ISBN (error code): 0444703586 (v. 2)
• Title: Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
• Series Title: Studies in logic and the foundations of mathematics ; v. 121, 123
• Author Heading: Troelstra, A. S. (Anne Sjerp); Dalen, D. van (Dirk) , 1932-
• Publication, Distribution, etc.: Amsterdam : North-Holland
• Publication Date: 1988.
• Publication Date (W3CDTF): 1988
• Extent: 2 v. ; 23 cm.
• Place of Publication (Country Code): NL
• 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-A41
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003167515; http://id.ndl.go.jp/bib/000003167515
• LC Control Number: 88005240; https://lccn.loc.gov/88005240
• Cataloging Rule: Anglo-American Cataloging Rules
• Bibliographic Record Category (NDL): 211

Table of Contents

CONTENTS OF VOLUME I

Preface　vii

Preliminaries　xi

1.　Introduction/ 1

1.　Constructivism/ 1

CONTENTS OF VOLUME II

Constructivism in Mathematics: Contents

Preliminaries　Xiii

7.　The topology of metric spaces/ 345

1.　Basic definitions/ 345