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

Bibliographische Detailangaben
Veröffentlicht in:[BuA, 8].(2000) S. 71 - 96
VerfasserIn: Schwichtenberg, Helmut (VerfasserIn)
Format: Aufsatz in Zeitschrift
Sprache:German
Ähnliche Datensätze:In: [BuA, 8].(2000)
LEADER 00424naa a22001211c 4500
001 a0046514
008 130913s gw ger d
005 20241206110857.0
100 1 |a Schwichtenberg, Helmut  |4 aut 
245 1 0 |a Beweise und Programme  |b Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik  |c Helmut Schwichtenberg 
336 |b txt  |2 rdacontent 
773 0 8 |i In  |t [BuA, 8].(2000)  |d 2000  |w a0044585  |g S. 71 - 96 
099 1 |a 20130913