01450nam 2200385 450 00001570720050718115600.00-521-31802-520030731d1988----km-y0itay0103----baengGBVarieties of constructive mathematicsDouglas Bridges, Fred RichmanCambridge [etc.]Cambridge University Press1988X, 149 p.ill.23 cm.London Mathematical Society Lecture Note Series972001London Mathematical Society Lecture Note SeriesLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03FxxMathematical logic and foundations. Proof theory and constructive mathematicsBridges,Douglas441862Richman,Fred48605ITUniversità della Basilicata - B.I.A.RICAunimarc000015707Varieties of constructive mathematics82571UNIBASMONSCISCIENZEEXT0020120030731BAS01174820050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT65052S650522003073151Riservati