TY  - BOOK
AU  - Richman,Fred
TI  - Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 
T2  - Lecture Notes in Mathematics
SN  - 3540108505
PY  - 1981///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Matematyka konstruktywna
KW  - konferencje
KW  - kaba
KW  - Intuicjonizm matematyczny
N1  - Bibliogr. po ref; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540108504
ER  -