Wanda Montlak Szmielew (5 April 1918 – 27 August 1976) was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.
Born |
5 April 1918 Warsaw, Congress Poland
|
Died |
27 August 1976 (aged 58) Warsaw, Congress Poland
|
Zodiac | Aries |
Tags | Add tag |