Schwichtenberg, H. Beweise und Programme: Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg. [BuA, 8].(2000).
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSchwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000) .
एमएलए (8वां संस्करण) प्रशस्ति पत्रSchwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000), .
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.