Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Dettagli Bibliografici
Pubblicato in:[BuA, 8].(2000) S. 71 - 96
Autore principale: Schwichtenberg, Helmut (Autore)
Natura: Articolo
Lingua:German
Documenti correlati:In: [BuA, 8].(2000)
Descrizione
Descrizione non disponibile.

Documenti analoghi