Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Publicado en: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Lenguaje: | German |
| Publicación relacionada: | In:
[BuA, 8].(2000) |
| Descripción no disponible. |