APA Citation

Streicher, T. (1991). Semantics of Type Theory: Correctness, Completeness and Independence Results (1st ed. 1991.). Boston, MA: Birkhäuser.

Chicago Style Citation

Streicher, T. Semantics of Type Theory: Correctness, Completeness and Independence Results. 1st ed. 1991. Boston, MA: Birkhäuser, 1991.

MLA Citation

Streicher, T. Semantics of Type Theory: Correctness, Completeness and Independence Results. 1st ed. 1991. Boston, MA: Birkhäuser, 1991.

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