Constructive mathematics : proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 /

Constructive mathematics : proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / ed. by F. Richman. - Berlin [etc.] : Springer-Verlag, 1981. - VI, 347 s. : il. ; 24 cm. - Lecture Notes in Mathematics ; 873 . - Lecture Notes in Mathematics 873 .

Bibliogr. po ref.



3540108505 0387108505


Matematyka konstruktywna--konferencje.
Intuicjonizm matematyczny--konferencje.