HDS-40: Karel Louis de Bouvère A Method in Proofs of Undefinability 1.Abstract, 2.Samenvatting, 3.Full Text (DJVU), 4.Full Text (PDF). < Back