Wanda Szmielew
Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976) fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos. proporcionado por Wikipedia-
1