Simple theories - Wagner, Frank O. (Mathematics and its applications ;, 2000)