ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
91
views
0
references
Top references
cited by
19
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,197
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Varieties of Constructive Mathematics
monograph
Author(s):
Douglas Bridges
,
Fred Richman
Publication date
(Online):
April 04 2011
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Author and book information
Book
ISBN (Print):
9780521318020
ISBN (Electronic):
9780511565663
Publication date (Online):
April 04 2011
Publication date (Print):
April 24 1987
DOI:
10.1017/CBO9780511565663
SO-VID:
9ac9baa0-0fa8-46ce-92d2-e1492109ca23
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. v
Preface
pp. 1
THE FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS
pp. 18
CONSTRUCTIVE ANALYSIS
pp. 49
RUSSIAN CONSTRUCTIVE MATHEMATICS
pp. 75
CONSTRUCTIVE ALGEBRA
pp. 103
INTUITIONISM
pp. 120
CONTRASTING VARIETIES
pp. 131
INTUITIONISTIC LOGIC AND TOPOS THEORY
Similar content
1,197
Identification of RNA Expression Profiles in Thyroid Cancer to Construct a Competing Endogenous RNA (ceRNA) Network of mRNAs, Long Noncoding RNAs (lncRNAs), and microRNAs (miRNAs)
Authors:
Yuanxin Xu
,
Jiuwei Chen
,
Zhihui Yang
…
Towards Automated Readable Proofs of Ruler and Compass Constructions
Authors:
Vesna Marinković
,
Tijana Šukilović
,
Filip Marić
Chord Mathematical
Authors:
Xiaohong LI
See all similar
Cited by
19
Developments in Constructive Nonstandard Analysis
Authors:
Erik Palmgren
Continuity and nondiscontinuity in constructive mathematics
Authors:
Hajime Ishihara
Sraffa and Wittgenstein: Physicalism and constructivism
Authors:
Mathieu Marion
See all cited by