Schwichtenberg, H. Beweise und Programme: Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg. [BuA, 8].(2000).
Style de citation Chicago (17e éd.)Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000) .
Style de citation MLA (8e éd.)Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000), .
Attention : ces citations peuvent ne pas être correctes à 100%.