01042nam0-22003491i-450-99000103489040332120140714134156.00-521-31802-5000103489FED01000103489(Aleph)000103489FED0100010348920140714d1987----km-y0itay50------baengGBVarieties of constructive mathematicsDouglas Bridges, Fred RichmanCambridge [etc.]Cambridge University Press1987x, 149 p.23 cmLondon Mathematical Society lecture note series97Fondamenti della logica matematica e probabilità519Bridges,Douglas S.<1945- >51513Richman,FredITUNINARICAUNIMARCBK9900010348904033214A-15515016FI1C-9-(973335MA1FI1MA1Varieties of constructive mathematics338859UNINA