APA ציטוט

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

Chicago Style (17th ed.) Citation

Streicher, Thomas. Semantics of Type Theory: Correctness, Completeness, and Independence Results. Boston: Birkhauser, 1991.

ציטוט MLA

Streicher, Thomas. Semantics of Type Theory: Correctness, Completeness, and Independence Results. Birkhauser, 1991.