Wanda Szmielew

, de soltera Wanda Montlak, va ser una lògica matemàtica polonesa, coneguda per ser la primera persona a demostrar la decidibilitat de la teoria de primer ordre de grups abelians. Proporcionat per Wikipedia
1
per Szmielew, Wanda
Publicat 1983

Llibre