A method in proofs of undefinability: With applications to functions in the arithmetic of natural numbers

معرفی کتاب «A method in proofs of undefinability: With applications to functions in the arithmetic of natural numbers» نوشتهٔ Karel Louis de Bouvere، منتشرشده توسط نشر North-Holland Publishing Co در سال 1959. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.