|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBSCO_ocn839527997 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr cnu---unuuu |
008 |
130416s1987 enka ob 001 0 eng d |
040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d E7B
|d OCLCO
|d OCLCF
|d YDXCP
|d OCLCQ
|d AGLDB
|d UAB
|d OCLCQ
|d VTS
|d REC
|d STF
|d M8D
|d OCLCO
|d INARC
|d SFB
|d OCLCO
|d OCLCQ
|d OCLCO
|
019 |
|
|
|a 797842687
|
020 |
|
|
|a 9781107361331
|q (electronic bk.)
|
020 |
|
|
|a 1107361338
|q (electronic bk.)
|
020 |
|
|
|z 0521318025
|
020 |
|
|
|z 9780521318020
|
020 |
|
|
|z 9780511565663
|
029 |
1 |
|
|a DEBBG
|b BV043130534
|
029 |
1 |
|
|a DEBSZ
|b 421267380
|
029 |
1 |
|
|a GBVCP
|b 804564299
|
035 |
|
|
|a (OCoLC)839527997
|z (OCoLC)797842687
|
050 |
|
4 |
|a QA9.56
|b .B75 1987eb
|
072 |
|
7 |
|a MAT
|x 016000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 018000
|2 bisacsh
|
082 |
0 |
4 |
|a 511.3
|2 22
|
084 |
|
|
|a 31.10
|2 bcl
|
084 |
|
|
|a *03F65
|2 msc
|
084 |
|
|
|a 03-01
|2 msc
|
084 |
|
|
|a 03-02
|2 msc
|
084 |
|
|
|a 03F55
|2 msc
|
084 |
|
|
|a 13E05
|2 msc
|
084 |
|
|
|a 26E99
|2 msc
|
084 |
|
|
|a 46S30
|2 msc
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Bridges, D. S.
|q (Douglas S.),
|d 1945-
|
245 |
1 |
0 |
|a Varieties of constructive mathematics /
|c Douglas Bridges, Fred Richman.
|
260 |
|
|
|a Cambridge [Cambridgeshire] ;
|a New York :
|b Cambridge University Press,
|c 1987.
|
300 |
|
|
|a 1 online resource (x, 149 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a London Mathematical Society lecture note series,
|x 0076-0052 ;
|v 97
|
504 |
|
|
|a Includes bibliographical references and index.
|
588 |
0 |
|
|a Print version record.
|
520 |
|
|
|a This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
|
505 |
0 |
|
|a Cover; Title; Copyright; Preface; Contents; 1. Foundations of Constructive Mathematics; 1. Existence and omniscience; 2. Basic constructions; 3. Informal intuitionistic logic; 4. Choice axioms; 5. Seal numbers; Problems; Notes; 2. Constructive Analysis; 1. Complete metric spaces; 2. Baire's theorem revisited; 3. Located subsets; 4. Totally Bounded Spaces; 5. Bounded Linear Maps; 6. Compactly Generated Banach Spaces; Problems; Notes; 3. Russian Constructive Mathematics; 1. Programming Systems and Omniscience Principles; 2. Continuity and intermediate values; 3. Specker's Sequence
|
505 |
8 |
|
|a 4. The Helne-Borel Theorem5. Moduli of continuity and cozero sets; 6. Ceitin's theorem; Problems; Notes; 4. Constructive Algebra; 1. General considerations; 2. Factoring; 3. Splitting fields; 4. Uniqueness of splitting fields; 5. Finitely presented modules; 6. Noetherian rings; Problems; Notes; 5. Intuitionism; 1. Sequence spaces; 2. Continuous choice; 3. Uniform continuity; 4. The creating subject and Markov's principle; Problems; Notes; 6. Contrasting Varieties; 1. The Three Varieties; 2. Positive-valued Continuous Functions; Problems; Notes; 7. Intuitionistic Logic and Topos Theory
|
505 |
8 |
|
|a 1. Intuitionistic prepositional calculus2. Predicate calculus; 3. The sheaf model C(X); 4. Presheaf topos models; Problems; Notes; Index
|
590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
650 |
|
0 |
|a Constructive mathematics.
|
650 |
|
6 |
|a Mathématiques constructives.
|
650 |
|
7 |
|a MATHEMATICS
|x Infinity.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Logic.
|2 bisacsh
|
650 |
|
7 |
|a Constructive mathematics
|2 fast
|
650 |
|
7 |
|a Konstruktive Mathematik
|2 gnd
|
650 |
|
7 |
|a Mathematische Logik
|2 gnd
|
650 |
|
7 |
|a Sistemas lógicos não clássicos.
|2 larpcal
|
650 |
|
7 |
|a Matemática construtiva.
|2 larpcal
|
650 |
|
7 |
|a Mathématiques constructives.
|2 ram
|
650 |
|
7 |
|a Logique symbolique et mathématique.
|2 ram
|
700 |
1 |
|
|a Richman, Fred,
|d 1938-
|
776 |
0 |
8 |
|i Print version:
|a Bridges, D.S. (Douglas S.), 1945-
|t Varieties of constructive mathematics.
|d Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
|z 0521318025
|w (DLC) 85026904
|w (OCoLC)12808271
|
830 |
|
0 |
|a London Mathematical Society lecture note series ;
|v 97.
|
856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552387
|z Texto completo
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10562356
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 552387
|
938 |
|
|
|a Internet Archive
|b INAR
|n varietiesofconst0000brid
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 10407388
|
994 |
|
|
|a 92
|b IZTAP
|