Ingebrigt Johansson

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
  • icône décorative Portail des mathématiques
  • icône décorative Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.