karl bühler digital

Home > Book

ÜberblickInhalt

Publication details

Verlag: Springer

Ort: Berlin

Jahr: 2000

ISBN (Hardback): 9789048154036

Volle Referenz:

Giovanni Sommaruga, History and philosophy of constructive type theory, Berlin, Springer, 2000

History and philosophy of constructive type theory

Giovanni Sommaruga

Springer

2000

Publication details

Verlag: Springer

Ort: Berlin

Jahr: 2000

ISBN (Hardback): 9789048154036

Volle Referenz:

Giovanni Sommaruga, History and philosophy of constructive type theory, Berlin, Springer, 2000