Bücher MOst - An Investigation of the Decision Problem in Logic; The Outline of Analytic-Semantic Algorithms

GTIN 9789640000687

ID-Nr. A5061

Adib-Soltani, Mir Shamasoddin

ادیب سلطانی، میرشمس الدین

An Investigation of the Decision Problem in Logic; The Outline of Analytic-Semantic Algorithms

پژوهشی درپیرامون مسئله‌ ی تصمیم درمنطق؛ طرح چند خوارزمیک تحلیلی- معنایی

676 p 24 x 17 cm 964-00-0068-X

(Language: Persian)

Available