Wanda Szmielew
mathématicienne polonaise / De Wikipedia, l'encyclopédie encyclopedia
Wanda Szmielew est une mathématicienne polonaise née Wanda Montlak le à Varsovie et morte le dans la même ville. Elle est la première à prouver la décidabilité de la théorie du premier ordre des groupes abéliens. Les axiomes de Szmielew-Tarski portent son nom.