Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Bibliographic Details
Published in:[BuA, 8].(2000) S. 71 - 96
Main Author: Schwichtenberg, Helmut (Author)
Format: Article
Language:German
Related Items:In: [BuA, 8].(2000)
Description
Description not available.

Similar Items