Search Results       Your search for [author]Solis, Adriano O., 1954- returned 1 record.           Some proofs of undecidability of first order theories. by Solis, Adriano O., 1954-; Subject: Godel's theorem; Groups, Theory of.          Add to Book Cart Relevance: 23.17%