Ingebrigt Johansson - Ingebrigt Johansson - Wikipedia
Ingebrigt Johansson.
Ingebrigt Johansson (24. října 1904 v Narvik - 24. dubna 1987 v Oslo ) byl Norština matematik. On vyvinul symbolická logika systém známý jako minimální logika.[1]
Reference
- ^ Ingebrigt Johansson (1937). „Der Minimalkalkül, ein reduzierter intuitionistischer formalismus“. Compositio Mathematica (v němčině). 4: 119–136.
externí odkazy
Kontrolní úřad  |
|---|
   | Tento životopisný článek o norském akademikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |