Search Results       Your search for [author]Solis, Adriano Olivar. returned 1 record.           Some proofs of undecidability of firstorder theories. by Solis, Adriano Olivar.; 1977. Subject: Godel's theorem; Logic, Symbolic and mathematical.          Add to Book Cart Relevance: 26.21%