Математическая логика и теория алгоритмов. Логика предикатов: учебное пособие

معرفی کتاب «Математическая логика и теория алгоритмов. Логика предикатов: учебное пособие» نوشتهٔ К. М. Чудинов; М-во образования и науки Российской Федерации, Гос. образовательное учреждение высш. проф. образования "Пермский гос. технический ун-т"، منتشرشده توسط نشر Изд-во Пермского гос. технического ун-та در سال 2010. این کتاب در فرمت pdf، زبان ru ارائه شده است.