TY - JOUR AU - A. Robinson TI - Some problems of definability in the lower predicate calculus JO - Fundamenta Mathematicae PY - 1957 SP - 309 EP - 329 VL - 44 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-44-3-309-329/ DO - 10.4064/fm-44-3-309-329 LA - en ID - 10_4064_fm_44_3_309_329 ER -