|
|
|
|
| LEADER |
01521nam a2200313 a 4500 |
| 001 |
c000047760 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
s1982 ne b 10010 eng |
| 019 |
1 |
|
|a 2453828
|z 49672972
|5 LACONCORD2021
|
| 020 |
|
|
|a 0444864946 (U.S.)
|
| 035 |
|
|
|a (OCoLC)9322894
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a QA9.56
|b .L2 1981
|
| 111 |
2 |
0 |
|a L.E.J. Brouwer Centenary Symposium
|d (1981 :
|c Noordwijkerhout, Netherlands)
|
| 245 |
1 |
4 |
|a The L.E.J. Brouwer Centenary Symposium :
|b proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
|c edited by A.S. Troelstra and D. van Dalen.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ;
|a New York, N.Y. :
|b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
|c 1982.
|
| 300 |
|
|
|a ix, 523 p. ;
|c 23 cm.
|
| 440 |
|
|
|a Studies in logic and the foundations of mathematics ;
|v v. 110
|
| 504 |
|
|
|a Includes bibliographies.
|
| 600 |
1 |
0 |
|a Brouwer, L. E. J.
|q (Luitzen Egbertus Jan),
|d 1881-1966.
|
| 650 |
|
0 |
|a Constructive mathematics
|x Congresses.
|
| 650 |
|
0 |
|a Intuitionistic mathematics
|x Congresses.
|
| 700 |
1 |
|
|a Brouwer, L. E. J.
|q (Luitzen Egbertus Jan),
|d 1881-1966.
|
| 700 |
1 |
|
|a Troelstra, A. S.
|q (Anne Sjerp)
|
| 700 |
1 |
|
|a Dalen, D. van
|q (Dirk),
|d 1932-
|
| 852 |
8 |
|
|b CARM
|h A2:AK06F0
|i C03941
|p 0199270
|f BK
|
| 082 |
0 |
4 |
|a 511
|2 19
|
| 999 |
f |
f |
|i e26a7811-59dd-5ed2-bfa6-2d5c30afe9fe
|s 58cc41d8-579d-512f-8922-15bb59aec7e8
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C03941
|f A2:AK06F0
|h Other scheme
|i book
|m 0199270
|