Schwichtenberg, H. Beweise und Programme: Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg. [BuA, 8].(2000).
Citação do estilo Chicago (17ª ed.)Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000) .
Citação MLA (8ª ed.)Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000), .
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.