History and philosophy of constructive type theory / Giovanni Sommaruga
Main Author
Sommaruga, Giovanni
Country
Holanda.
Publication
Dordrecht : Kluwer Academic Publishers, cop. 2000
Description
X, 354, [13] p. ;
24 cm
Series
Synthese library.. Studies in epistemology, logic, methodology and philosophy of science , 290
ISBN
0-7923-6180-6
CDU
510.6(091)
There are no comments for this item.