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
Showing 1 - 3 results of 3 for search 'Szmielew, Wanda'
query time: 0.01s Refine Results
  1. 1
  2. 2
    by Szmielew, Wanda
    Published 1983
    Book
  3. 3
    by Borsuk, Karol, Szmielew, Wanda
    Published 1972
    Book
Search Tools: RSS Feed Save Search