History and philosophy of constructive type theory

Verfasser / Beitragende:
by Giovanni Sommaruga
Ort, Verlag, Jahr:
Dordrecht : Kluwer Academic Publishers, 2000
Beschreibung:
354 S.
Format:
Buch
ID: 259454613