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: Birkhäuser, 1991.

MLA (8th 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.