Ingebrigt Johansson
Ingebrigt Johansson (, Narvik – , Oslo) est un mathématicien norvégien.
Pour les articles homonymes, voir Johansson.
Il a développé le système de logique symbolique connu sous le nom de logique minimale.
Bibliographie
- 1937 : Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus[1]
Notes et références
Liens externes
- Portail des mathématiques
- Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.