Aller au contenu

Ingebrigt Johansson

Un article de Wikipédia, l'encyclopédie libre.
Ingebrigt Johansson
Ingebrigt Johansson (avant 1933).
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 82 ans)
OsloVoir et modifier les données sur Wikidata
Nationalité
Activité
Autres informations
A travaillé pour
Membre de

Ingebrigt Johansson (, Narvik, Oslo) est un mathématicien norvégien.

Il a développé le système de logique symbolique connu sous le nom de logique minimale.

Bibliographie

[modifier | modifier le code]
  • 1937 : Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus[1]

Notes et références

[modifier | modifier le code]
  1. Ingebrigt Johansson, « Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus », sur eudml.org, Compositio Mathematica (ISSN 0010-437X, consulté le ), p. 119–136.

Liens externes

[modifier | modifier le code]