Trích dẫn kiểu APA (xuất bản lần thứ 7)

Schwichtenberg, H. Beweise und Programme: Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg. [BuA, 8].(2000).

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000) .

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000), .

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.