Constructive mathematics : Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-1 5, 1980 / Edited by F. Richman

• Record Nr.: UNINA990001212120403321
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, 1981
• Collana: Lecture Notes in Mathematics ; 873
• Locazione: MA1
• Collocazione: C-20-(873
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia