01119nam a22002775i 4500991002196839707536cr nn 008mamaa121227s1981 gw | s |||| 0|eng d9783540387596b14136326-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323Constructive mathematics[e-book] :proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 /edited by Fred RichmanBerlin :Springer,19811 online resource (vii, 347 p.)Lecture Notes in Mathematics,0075-8434 ;873MathematicsLogic, Symbolic and mathematicalRichman, FredSpringer eBookshttp://dx.doi.org/10.1007/BFb0090721An electronic book accessible through the World Wide Web.b1413632603-03-2205-09-13991002196839707536Constructive mathematics79973UNISALENTOle01305-09-13m@ -enggw 00