Handbook of constructive mathematics / (Encyclopedia of mathematics and its applications ; ; 185)

Handbook of constructive mathematics /

(Encyclopedia of mathematics and its applications ; ; 185)

Material type: 図書

Author: edited by Douglas Bridges, University of Canterbury, Hajime Ishihara, Japan Advanced Institute of Science and Technology, Michael Rathjen, University of Leeds, Helmut Schwichtenberg, Ludwig Maximilian University of Munich.

Publisher: Cambridge University Press,

Publication date: 2023.

Material Format: Paper

Capacity, size, etc.: xix, 841 pages ; ; 25 cm.

Collection: -

View All

Notes on use

Note (General)：: Part I: Introductory -- An introduction to intuitionalistic logic / Michael Rathjen -- An introduction to constructive set theory: an appetizer / Mich...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Kanto

東京都立中央図書館
Paper
Call No.：
410.8-E56-E1-185
Book Registration Number：
7117157055
東京都立中央図書館

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: 図書
ISBN: 1316510867 (hardback)
9781316510865 (hardback)
Title: Handbook of constructive mathematics /
Author/Editor: edited by Douglas Bridges, University of Canterbury, Hajime Ishihara, Japan Advanced Institute of Science and Technology, Michael Rathjen, University of Leeds, Helmut Schwichtenberg, Ludwig Maximilian University of Munich.
Series Title: Encyclopedia of mathematics and its applications ; ; 185
Publication, Distribution, etc.: Cambridge : : Cambridge University Press,
Publication Date: 2023.
Extent: xix, 841 pages ; ; 25 cm.
Text Language Code: eng
NDC 10th ed.: 410.8 : Mathematics
Target Audience: 一般
Note (General): Part I: Introductory -- An introduction to intuitionalistic logic / Michael Rathjen -- An introduction to constructive set theory: an appetizer / Michael Rathjen -- Bishop's mathematics: a philosophical perspective / Laura Crosilla -- Part II: Algebra and geometry -- Algebra in Bishop's style: a course in constructive algebra / Henri Lombardi -- Constructive algebra: the Quillen-Suslin Theorem / Ihsen Yengui -- Constructive algebra and point-free topology / Thierry Coquand -- Constructive projective geometry / Mark Mandelkern -- Part III: Analysis -- Elements of constructive analysis / Hajime Ishihara -- Constructive functional analysis / Hajime Ishihara -- Constructive Banach algebra theory / Robin S. Havea and Douglas Bridges -- Constructive convex optimisation / Josef Berger and Gregor Svindland -- Constructive mathematical economics / Matthew Hendtlass and Douglas Bridges -- A leisurely random walk down the lane of a constructive theory of stochastic processes / Yuen-Kwok Chan -- Part IV: Topology -- Bases of pseudocompact Bishop spaces / Iosif Petrakis -- Bishop metric spaces in formal topology / Tatsuji Kawai -- Subspaces in pointfree topology: towards a new approach to measure theory / Francesco Ciraulo -- Synthetic topology / Davorin Lešnik -- Apartness on lattices and between sets / Douglas Bridges -- Part V: Logic and foundations -- Countable choice / Fred Richman -- The minimalist foundation and Bishop's constructive mathematics / Maria Emilia Maietti and Giovanni Sambin -- Identity, equality, and extensionality in explicit mathematics / Gerhard Jäger -- Inner and outer models for constructive set theories / Robert S. Lubarsky -- An introduction to constructive reverse mathematics / Hajime Ishihara -- Systems for constructive reverse mathematics / Takako Nemoto -- Brouwer's fan theorem / Josef Berger -- Part VI: Aspects of computation -- Computational aspects of Bishop's constructive mathematics / Helmut Schwichtenberg -- Application of constructive analysis in exact real arithmetic / Kenji Miyamoto -- Efficient algorithms from proofs in constructive analysis / Mark Bickford -- On the computational content of choice principles / Ulrich Brger and Monika Seisenberger.
Availability: 閲可/個否/協可
Holding library: 東京都立中央図書館
Note (Library): 所蔵場所 : 2F開
301
Call No.: 410.8-E56-E1-185
Data Provider (Database): 東京都立中央図書館 : 公共図書館蔵書
Bibliographic ID (SomokuID): 1352060916
7117157055
OCLC No.: (OCoLC)1355045924
https://www.worldcat.org/oclc/(OCoLC)1355045924