Wanda Szmielew | |
|---|---|
| Born | 5 April 1918 |
| Died | 27 August 1976 (aged 58) |
| Alma mater | |
| Scientific career | |
| Fields | Mathematics, logic |
| Thesis | Elementary properties of Abelian groups (1955) |
| Doctoral advisor | Alfred Tarski |
Wanda Szmielew née Montlak (5 April 1918 – 27 August 1976)[1] was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.[1]