Théorie métamathématique des idéaux - Robinson, Abraham (Collection de Logique Mathématique, 8, 1955)