|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
4862203 |
003 |
ICU |
005 |
20040330120500.0 |
008 |
030505t20032004at b 000 0 eng d |
020 |
|
|
|a 0534609937
|
040 |
|
|
|a VYF
|c VYF
|d CtY
|d OCoLC
|d OrLoB-B
|
050 |
|
4 |
|a QA29.B697
|b A88 2003
|
100 |
1 |
|
|a Atten, Markus Sebastiaan Paul Rogier van,
|d 1973-
|0 http://id.loc.gov/authorities/names/nb2002045076
|1 http://viaf.org/viaf/76622030
|
245 |
1 |
0 |
|a On Brouwer /
|c Mark Van Atten.
|
246 |
3 |
|
|a Brouwer
|
260 |
|
|
|a Australia ;
|a [Belmont, Calif.] :
|b Wadsworth,
|c [2003], c2004.
|
300 |
|
|
|a 95 p. ;
|c 22 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Wadsworth philosophers series
|
504 |
|
|
|a Includes bibliographical references (p. 89-95).
|
505 |
0 |
0 |
|g 1.
|t The Two Acts of Intuitionism --
|g 2.
|t Proofs and Logic --
|g 3.
|t Choice Sequences --
|g 4.
|t Brouwer's Proof of the Bar Theorem --
|g 5.
|t "Creating Subject" Arguments --
|g 6.
|t Intersubjectivity.
|
600 |
1 |
0 |
|a Brouwer, L. E. J.
|q (Luitzen Egbertus Jan),
|d 1881-1966.
|0 http://id.loc.gov/authorities/names/n80166794
|1 http://viaf.org/viaf/54216020
|
650 |
|
0 |
|a Mathematics
|x Philosophy.
|0 http://id.loc.gov/authorities/subjects/sh85082153
|
650 |
|
0 |
|a Intuitionistic mathematics.
|0 http://id.loc.gov/authorities/subjects/sh85067656
|
600 |
1 |
7 |
|a Brouwer, L. E. J.
|q (Luitzen Egbertus Jan),
|d 1881-1966
|2 fast
|0 http://id.worldcat.org/fast/fst00065972
|1 http://viaf.org/viaf/54216020
|
650 |
|
7 |
|a Intuitionistic mathematics.
|2 fast
|0 http://id.worldcat.org/fast/fst00977860
|
650 |
|
7 |
|a Mathematics
|x Philosophy.
|2 fast
|0 http://id.worldcat.org/fast/fst01012213
|
901 |
|
|
|a ToCBNA
|
903 |
|
|
|a HeVa
|
903 |
|
|
|a Hathi
|
035 |
|
|
|a (OCoLC)52184416
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 3517caa4-6a9e-5fca-a2af-a2349f9504c1
|s c038212a-6592-594d-a23e-4616dda63bc2
|
928 |
|
|
|t Library of Congress classification
|a QA29.B697 A88 2004
|l ASR
|c ASR-SciASR
|i 4618425
|
927 |
|
|
|t Library of Congress classification
|a QA29.B697 A88 2004
|l ASR
|c ASR-SciASR
|e KLOT
|e CRERAR
|b 63637569
|i 7443853
|