TY - BOOK AU - De Bouvere, K L TI - Method in proofs of nudefinability PY - 1959/// CY - AMSTERDAM PB - NORTH-HOLLAND PUBLISHING COMPANY KW - MATHEMATICS ER -