MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn316566827
003 OCoLC
005 20231117015242.0
006 m o d
007 cr cn|||||||||
008 090320s1982 ne ob 100 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OPELS  |d OCLCQ  |d DEBBG  |d OCLCF  |d OCLCO  |d NLGGC  |d OCLCQ  |d OCL  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d LEAUB  |d UK7LJ  |d OCLCQ  |d OCLCO  |d OCLCQ  |d INARC 
019 |a 1156029354  |a 1162066341 
020 |a 9780444864949 
020 |a 0444864946 
035 |a (OCoLC)316566827  |z (OCoLC)1156029354  |z (OCoLC)1162066341 
050 4 |a QA9.56  |b .L2 1981eb 
082 0 4 |a 511  |2 22 
111 2 |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 1 online resource (ix, 523 pages) 
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 Studies in logic and the foundations of mathematics ;  |v v. 110 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
546 |a English. 
600 1 0 |a Brouwer, L. E. J.  |q (Luitzen Egbertus Jan),  |d 1881-1966. 
650 0 |a Constructive mathematics  |v Congresses. 
650 0 |a Intuitionistic mathematics  |v Congresses. 
600 1 6 |a Brouwer, L. E. J.  |q (Luitzen Egbertus Jan),  |d 1881-1966.  |0 (CaOONL)ncf12143427 
650 6 |a Math�ematiques intuitionnistes  |0 (CaQQLa)201-0025538  |x Congr�es.  |0 (CaQQLa)201-0378208 
650 6 |a Math�ematiques constructives  |0 (CaQQLa)201-0024136  |x Congr�es.  |0 (CaQQLa)201-0378208 
650 6 |a Math�ematiques constructives  |0 (CaQQLa)201-0024136  |v Congr�es.  |0 (CaQQLa)201-0378219 
650 6 |a Math�ematiques intuitionnistes  |0 (CaQQLa)201-0025538  |v Congr�es.  |0 (CaQQLa)201-0378219 
600 1 7 |a Brouwer, L. E. J.  |q (Luitzen Egbertus Jan),  |d 1881-1966.  |2 fast  |0 (OCoLC)fst00065972 
650 7 |a Constructive mathematics.  |2 fast  |0 (OCoLC)fst00876172 
650 7 |a Intuitionistic mathematics.  |2 fast  |0 (OCoLC)fst00977860 
650 1 7 |a Intu�itionisme.  |2 gtt 
650 1 7 |a Wiskundige logica.  |2 gtt 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
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- 
776 0 8 |i Print version:  |a L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands).  |t L.E.J. Brouwer Centenary Symposium.  |d Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  |z 0444864946  |z 9780444864949  |w (DLC) 82239358  |w (OCoLC)9322894 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 110. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444864949  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=110  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/110  |z Texto completo