Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407. - Abraham Robinson. Relative model-completeness and the ...