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.
...
Wikipedia
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.