Ingebrigt Johansson
mathématicien norvégien
Pour les articles homonymes, voir Johansson.
Ingebrigt Johansson (, Narvik – , Oslo) est un mathématicien norvégien.
Ingebrigt Johansson
Naissance | |
---|---|
Décès | |
Nationalité | |
Activité |
A travaillé pour | |
---|---|
Membre de |
Il a développé le système de logique symbolique connu sous le nom de logique minimale.
BibliographieModifier
- 1937 : Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus[1]