WikiDer > Ингебригт Йоханссон - Википедия
Ingebrigt Johansson - Wikipedia
Ингебригт Йоханссон (24 октября 1904 г. в Нарвик - 24 апреля 1987 г. в г. Осло) был норвежский язык математик. Он разработал символическая логика система известная как минимальная логика.[1]
Рекомендации
- ^ Ингебригт Йоханссон (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (на немецком). 4: 119–136.
внешняя ссылка
   | Эта биографическая статья о норвежском ученом является заглушка. Вы можете помочь Википедии расширяя это. |