Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Xehetasun bibliografikoak
Argitaratua izan da:[BuA, 8].(2000) S. 71 - 96
Egile nagusia: Schwichtenberg, Helmut (Egilea)
Formatua: Artikulua
Hizkuntza:German
Antzeko dokumentuak:In: [BuA, 8].(2000)
Deskribapena
Deskribapenik ez dago.

Antzeko izenburuak