01727nam 2200397 450 00001440620050718115500.03-540-10850-520030623d1981----km-y0itay0103----baengDEConstructive mathematicsproceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980edited by F. RichmanBerlin [etc.]Springer1981VI, 347 p.25 cm.Lecture notes in mathematics8732001Lecture notes in mathematicsLogica matematicaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03F50Mathematical logic and foundations. Proof theory and constructive mathematics. Metamathematics of constructive systems03F55Mathematical logic and foundations. Proof theory and constructive mathematics. Intuitionistic mathematics03F65Mathematical logic and foundations. Proof theory and constructive mathematics. Other constructive mathematicsRichman,FredITUniversità della Basilicata - B.I.A.RICAunimarc000014406Constructive mathematics79973UNIBASMONSCISCIENZEEXT0020120030623BAS01110520050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT32076S320762003062351Riservati