TY - BOOK AU - Devlin K J TI - Constructibility U1 - 511.32 PY - 1984/// CY - Berlin PB - Springer Verlag KW - Arithmetic KW - Construction ER -