Intensional mathematics / edited by Stewart Shapiro.

• 資料種別: 図書
• ISBN: 0444876324 (U.S.)
• タイトル: Intensional mathematics / edited by Stewart Shapiro.
• シリーズタイトル: Studies in logic and the foundations of mathematics ; v. 113
• 著者標目: Shapiro, Stewart, 1951- ( 001102327 )典拠
• 出版事項: 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.
• 出版年月日等: 1985.
• 出版年（W3CDTF）: 1985
• 数量: v, 230 p. ; 24 cm.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 件名標目: モデルの理論. Moderunoriron.; 数学基礎論. Sugakukisoron.; Modality (Logic) -- Addresses, essays, lectures.; Constructive mathematics -- Addresses, essays, lectures.; Intuitionistic mathematics -- Addresses, essays, lectures.
• LCC: QA9.46
• DDC: 511
• NDLC: MA41
• 書誌注記: Includes bibliographical references.
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-A37
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003121963; http://id.ndl.go.jp/bib/000003121963
• LC control number: 84018856; https://lccn.loc.gov/84018856
• 整理区分コード: 211

目次

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