Sommaruga,, Giovanni History and philosophy of constructive type theory / Giovanni Sommaruga

History and philosophy of constructive type theory / Giovanni Sommaruga . - Dordrecht : Kluwer Academic Publishers, cop. 2000 . - X, 354, [13] p. 24 cm . - (Synthese library., Studies in epistemology, logic, methodology and philosophy of science; 290)
0-7923-6180-6 Encadernado

510.6(091)