Théorie métamathématique des idéaux - Robinson, Abraham 1918-1974 ([Collection de logique mathématique, 1955)