History and philosophy of constructive type theory
Gespeichert in:
Verfasser / Beitragende:
by Giovanni Sommaruga
Ort, Verlag, Jahr:
Dordrecht :
Kluwer Academic Publishers,
2000
Beschreibung:
354 S.
Format:
Buch
Online Zugang: