Biography:Ingebrigt Johansson
From HandWiki
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
 |
