Ingebrigt Johansson
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[]
- ^ Ingebrigt Johansson (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (in German). 4: 119–136.
External links[]
| hide Authority control  | |
|---|---|
| General | |
| National libraries | |
   | This biographical article about a Norwegian academic is a stub. You can help Wikipedia by . |
Categories:
- 1904 births
- 1987 deaths
- 20th-century mathematicians
- Norwegian people of Swedish descent
- Norwegian mathematicians
- People from Narvik
- Norwegian academic biography stubs