Jump to content

Ingebrigt Johansson

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Monkbot (talk | contribs) at 17:05, 19 December 2020 (Task 18 (cosmetic): eval 1 template: del empty params (1×); hyphenate params (1×); cvt lang vals (1×);). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Ingebrigt Johansson.

Ingebrigt Johansson (24 October 1904 in Narvik – 24 April 1987 in Oslo) was a Norwegian mathematician. He developed the symbolic logic system known as minimal logic.[1]

References

  1. ^ Ingebrigt Johansson (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (in German). 4: 119–136.

External links