Repository | Buch | Kapitel
Conclusion
pp. 347-348
Abstrakt
This work is in many ways essentially incomplete or open.
Publication details
Published in:
Sommaruga Giovanni (2000) History and philosophy of constructive type theory. Dordrecht, Springer.
Seiten: 347-348
DOI: 10.1007/978-94-015-9393-9_5
Referenz:
Sommaruga Giovanni (2000) Conclusion, In: History and philosophy of constructive type theory, Dordrecht, Springer, 347–348.