Biography:Ingebrigt Johansson: Difference between revisions
From HandWiki
(fix) |
(No difference)
|
Latest revision as of 15:37, 18 May 2023
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
- ↑ 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
 |
