Machine generated authority record

Work cat.: (arssjubce)12572: Porta, Horacio, Sur un theoreme de Skolem., 1964.