Résultats de la recherche
- Thoralf Skolem Thoralf Skolem dans les années 1930. Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement...11 kio (1 477 mots) - 3 décembre 2023 à 21:50
- Cet article ne cite pas suffisamment ses sources (juin 2017). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web...2 kio (184 mots) - 15 novembre 2023 à 01:59