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 (लेखक)
स्वरूप: लेख
भाषा:German
संबंधित चीजें :In: [BuA, 8].(2000)
विवरण
विवरण उपलब्ध नहीं है

समान संसाधन