Wanda Szmielew
Wanda Szmielew née Montlak (5 April 1918 – 27 August 1976) was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups. Provided by Wikipedia-
1
-
2
-
3