01861nam 2200409 450 00001558420050718115600.03-540-12173-020030730d1985----km-y0itay0103----baengDEFoundations of constructive mathematicsmetamathematical studiesMichael J. BeesonBerlin [etc.]Springerc1985XXIII, 466 p.25 cm.Ergebnisse der Mathematik und ihrer Grenzgebiete3. Folge62001Ergebnisse der Mathematik und ihrer GrenzgebieteLogica matematica511.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 mathematics03F60Mathematical logic and foundations. Proof theory and constructive mathematics. Constructive and recursive analysis03F65Mathematical logic and foundations. Proof theory and constructive mathematics. Other constructive mathematicsBeeson,Michael J.49310ITUniversità della Basilicata - B.I.A.RICAunimarc000015584Foundations of constructive mathematics82681UNIBASMONSCISCIENZEEXT0020120030730BAS01143720050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT62752S627522003073051Riservati