Ингебригт Йоханссон - Ingebrigt Johansson

Ингебригт Йоханссон.

Ингебригт Йоханссон (24 октября 1904 г. в Нарвик - 24 апреля 1987 г. в г. Осло ) был норвежский язык математик. Он разработал символическая логика система известная как минимальная логика.[1]

Рекомендации

  1. ^ Ингебригт Йоханссон (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (на немецком). 4: 119–136.

внешняя ссылка