01816nam0 22004213i 450 VAN026178520231031044436.247N978354038759620230720d1981 |0itac50 baengDE|||| |||||Constructive MathematicsProceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980edited by Fred RichmanBerlinSpringer1981x, 350 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer87303-XXMathematical logic and foundations [MSC 2020]VANC019750MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFAlgebraKW:KCalculationKW:KConstructive mathematicsKW:KFiniteKW:KMathematicsKW:KOrdinalsKW:KRecursionKW:KSet TheoryKW:KBerlinVANL000066RichmanFredVANV042159Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0090721E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261785BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6349 08eMF6349 20230731 Constructive mathematics79973UNICAMPANIA