APA (7th ed.) Citation

Laan, T. D. L. (1997). The evolution of type theory in logic and mathematics ([1st ed.].). Technische Universität.

Chicago Style (17th ed.) Citation

Laan, Twan Dismas Laurens. The Evolution of Type Theory in Logic and Mathematics. [1st ed.]. Eindhoven: Technische Universität, 1997.

MLA (9th ed.) Citation

Laan, Twan Dismas Laurens. The Evolution of Type Theory in Logic and Mathematics. [1st ed.]. Technische Universität, 1997.