Gaya APA
A Modern Perspective on Type Theory
.
(2005).
Dordrecht:
Springer.
Gaya MLA
A Modern Perspective on Type Theory
.
1st ed. 2005..
Dordrecht:
Springer,
2005.
E Book.