Intensional mathematics / edited by Stewart Shapiro.

• Material Type: 図書
• ISBN: 0444876324 (U.S.)
• Title: Intensional mathematics / edited by Stewart Shapiro.
• Series Title: Studies in logic and the foundations of mathematics ; v. 113
• Author Heading: Shapiro, Stewart, 1951- ( 001102327 )Authorities
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New YorK, N.Y., U.S.A. : North-Holland; Amsterdam : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New YorK, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
• Publication Date: 1985.
• Publication Date (W3CDTF): 1985
• Extent: v, 230 p. ; 24 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: モデルの理論. Moderunoriron.; 数学基礎論. Sugakukisoron.; Modality (Logic) -- Addresses, essays, lectures.; Constructive mathematics -- Addresses, essays, lectures.; Intuitionistic mathematics -- Addresses, essays, lectures.
• LCC: QA9.46
• DDC: 511
• NDLC: MA41
• Note (Bibliography): Includes bibliographical references.
• Holding library: 国立国会図書館
• Call No.: MA41-A37
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003121963; http://id.ndl.go.jp/bib/000003121963
• LC Control Number: 84018856; https://lccn.loc.gov/84018856
• Bibliographic Record Category (NDL): 211

Table of Contents

TABLE OF CONTENTS

1．　Introduction: Intensional Mathematics and Constructive Mathematics/ i

2．　Epistemic and Intuitionistic Arithmetic/ ii

3．　Intensional Set Theory/ 47

4．　A Genuinely Intensional Set Theory/ 63