{"product_id":"mathematical-theory-of-logical-inference-matematicheskaya-teoriya-logicheskogo-vyvoda-edited-by-a-idelson-g-mints-1967-in-russian","title":"Mathematical Theory of Logical Inference (Matematicheskaya teoriya logicheskogo vyvoda). Edited by A. Idelson, G. Mints, 1967. In Russian.","description":"\u003cp\u003eМатематическая теория логического вывода. Сборник переводов. Под редакцией А.В. Идельсона и Г.Е. Минца. Серия «Математическая логика и основания математики». Издание первое.\u003cbr\u003eМосква : Наука, Главная редакция физико-математической литературы, 1967. 352 страницы.\u003cbr\u003eТвердый переплет. Суперобложка. Обычный формат. Тираж 10 000 экземпляров.\u003cbr\u003eПереплет очень хороший: минимальный износ. Блок хороший: чистый, крепкий. Суперобложка удовлетворительная: значительные надрывы и утраты у концов корешка, заломы и потертости по всей поверхности.\u003cbr\u003e***\u003cbr\u003eMathematical Theory of Logical Inference. A collection of translated papers, edited by A. V. Idelson and G. E. Mints. Series: Mathematical Logic and the Foundations of Mathematics. First edition.\u003cbr\u003eMoscow : Nauka, Main Editorial Board for Physical and Mathematical Literature, 1967. 352 pp.\u003cbr\u003eHardcover. Dust jacket. Standard format. Print run of 10,000 copies.\u003cbr\u003eBinding very good: minimal wear. Text block good: clean and firm. Dust jacket fair: substantial tears and losses at spine ends, creasing and wear throughout.\u003c\/p\u003e\n\u003cp\u003eAn important Soviet-era anthology bringing together, in Russian translation, the foundational papers of proof theory's classical period, centered on the work of Gerhard Gentzen (1909-1945), the German logician whose 1934-1935 papers established the sequent calculus and natural deduction and whose subsequent proof of the consistency of pure number theory by transfinite induction became one of the landmark results of twentieth-century logic. The volume opens with Gentzen's \"Consistency of Pure Number Theory\" and his \"Investigations into Logical Deduction,\" the papers in which he introduced his method of cut-elimination — now foundational to all subsequent work in structural proof theory — and closes with a paper by Grigori Mints, one of the editors and a leading Soviet proof theorist, on Herbrand's theorem, extending the collection's classical core into contemporary Soviet research. Compiled at a moment of renewed international interest in proof theory driven by the rise of automated theorem-proving and \"machine logic,\" as the editors' preface explains, the collection was designed as a systematic course of study for readers with general mathematical training but no prior background in logic, and remains a valuable historical document of how Gentzen's foundational work was transmitted to and absorbed by the Soviet school of mathematical logic and theoretical computer science.\u003c\/p\u003e","brand":"Stanza Rare Books","offers":[{"title":"Default Title","offer_id":44682685710378,"sku":null,"price":50.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0701\/6359\/5306\/files\/IMG_1791_d3c329be-b7cf-4c55-ae14-ff9ecefb8d96.jpg?v=1786843300","url":"https:\/\/stanzararebooks.com\/products\/mathematical-theory-of-logical-inference-matematicheskaya-teoriya-logicheskogo-vyvoda-edited-by-a-idelson-g-mints-1967-in-russian","provider":"Stanza Rare Books","version":"1.0","type":"link"}