Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Detalhes bibliográficos
Publicado no:[BuA, 8].(2000) S. 71 - 96
Autor principal: Schwichtenberg, Helmut (Autor)
Formato: Atigo
Idioma:German
Itens Relacionados:In: [BuA, 8].(2000)
Descrição
Descrição não disponível.

Registros relacionados