Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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