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]
Ingebrigt Johansson.
References
- Ingebrigt Johansson (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (in German). 4: 119–136.
External links
Authority control  |
|
|---|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.