دانلود کتاب A method in proofs of undefinability: With applications to functions in the arithmetic of natural numbers
by Karel Louis de Bouvere
|
عنوان فارسی: یک روش در اثبات عدم تعریف: با استفاده از برنامه های کاربردی در ریاضی اعداد طبیعی |