Author Search Results

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

On n-ary equivalence relations and their application to geometry / Wanda Szmielew. Prepared for publication by Jerzy Bednarczuk in collab. with Maria Moszyńska. Transl. by Jerzy Bednarczuk and Haragauri N. Gupta

Participants: Szmielew, Wanda [ VerfasserIn ]; Bednarczuk, Jerzy [ HerausgeberIn ]
Published: 1981
Superior document: Dissertationes mathematicae 191