APA (7th ed.) Citation

Streicher, T. (1991). Semantics of type theory: Correctness, completeness and independence results. Birkhäuser.

Chicago Style (17th ed.) Citation

Streicher, Thomas. Semantics of Type Theory: Correctness, Completeness and Independence Results. Boston, Mass. [u.a.]: Birkhäuser, 1991.

MLA (9th ed.) Citation

Streicher, Thomas. Semantics of Type Theory: Correctness, Completeness and Independence Results. Birkhäuser, 1991.

Warning: These citations may not always be 100% accurate.