Παραπομπή APA

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

Παραπομπή Chicago Style

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. Boston: Birkhauser, 1991.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.