Biography:Ingebrigt Johansson

From HandWiki
Revision as of 15:37, 18 May 2023 by Raymond Straus (talk | contribs) (fix)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Norwegian mathematician

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

References

  1. ↑ Ingebrigt Johansson (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus" (in de). Compositio Mathematica 4: 119–136. http://www.numdam.org/item/CM_1937__4__119_0. 

External links




Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Ingebrigt_Johansson&oldid=2880351"