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
by Szmielew, Wanda
Published 1983

Book
Search Tools: Get RSS Feed Email this Search