Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

מידע ביבליוגרפי
הוצא לאור ב:[BuA, 8].(2000) S. 71 - 96
מחבר ראשי: Schwichtenberg, Helmut (VerfasserIn)
פורמט: Aufsatz in Zeitschrift
שפה:German
פריטים קשורים:In: [BuA, 8].(2000)
תיאור
תיאור לא זמין.

פריטים דומים