Home > Book
Publisher: Springer
Place: Berlin
Year: 2000
ISBN (Hardback): 9789048154036
Full citation:
Giovanni Sommaruga, History and philosophy of constructive type theory, Berlin, Springer, 2000
Contents
1-166
167-217
219-310
311-346
347-348
