Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Manylion Llyfryddiaeth
Cyhoeddwyd yn:[BuA, 8].(2000) S. 71 - 96
Prif Awdur: Schwichtenberg, Helmut (Awdur)
Fformat: Erthygl
Iaith:German
Eitemau Perthynol:In: [BuA, 8].(2000)
Disgrifiad
Mae'n ddrwg gennym, ni ellir dod o hyd i unrhyw awgrymiadau

Eitemau Tebyg