Review of : SOMMARUGA, GIOVANNI, HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY. SYNTHESE LIBRARY. 290. DORDRECHT: KLUWER ACADEMIC PUBLISHERS. X, 354 P