BN Service polonais
Internet, https://mathshistory.st-andrews.ac.uk/Biographies/Szmielew/, 2023-10-25
Information trouvée : Wanda Montlak Szmielew, née le 5 avril 1918 à Varsovie, Empire russe (aujourd'hui
Pologne) et décédé le 27 août 1976 à Varsovie, Pologne. Mathématicienne spécialisé
en logique mathématique qui fut la première à prouver la décidabilité de la théorie
du premier ordre des groupes abéliens.
LCNA, 1993-03. Encyclopedic dictionary of mathematics, 1987 : Szmielev, Wanda, 1918-1976
Metamathematische Methoden in der Geometrie / W. Schwabhäuser, W. Szmielev, A. Tarski,
1983