Ingebrigt Johansson

Ingebrigt Johansson
Ingebrigt Johansson (avant 1933).
Biographie
Naissance
Décès
(à 82 ans)
Oslo
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

  • 1937 : Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus[1]

Notes et références

  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

  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous licence Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.