cover image

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.


Berlin ; New York : Springer-Verlag, 1981.
ISBN 3540108505, 9783540108504, 0387108505, 9780387108506

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.873 (show me on map) Off-site
Request
American
LIB stacks
No.873-874 bound together
LIB stacks
QA3 .L28 no.873-874 Available Request
George Mason
Fenwick stacks
QA3 .L28 no.873 Available Request
Georgetown
Off-Campus Shelving
QA3 .L28 no. 873 Available Request
Howard
Founders Library stacks
QA3 L28 NO. 873 Available Request
Other Authors Richman, Fred, 1938-
Subjects Constructive mathematics -- Congresses.
Constructive mathematics.
Intuitionistic mathematics -- Congresses.
Intuitionistic mathematics.
Kongress.
Konstruktive Mathematik.
Mathématiques constructives.
Mathématiques intuitionnistes.
Wiskundige logica.
Series Lecture notes in mathematics (Springer-Verlag) ; 873.
Description vi, 347 pages ; 25 cm.
Copyright Date 1981.
Notes Includes bibliographical references and index.
Genre Conference proceedings.
Network Numbers (OCoLC)7671997
(OCoLC)ocm07671997
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks