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

Inhalte

The present version of constructive type theory (1995)

1-166

Metatheoretical considerations

167-217

History of constructive type theory (1970–95)

219-310

Philosophical and technical prehistory of constructive type theory (1880–1970)

311-346

Conclusion

Amy E. Varela

347-348