{"product_id":"novikov-p-elements-of-mathematical-logic-elementy-matematicheskoy-logiki-1973-in-russian","title":"Novikov, P. Elements of Mathematical Logic (Elementy matematicheskoy logiki). 1973. In Russian.","description":"\u003cp\u003eНовиков, Пётр Сергеевич (1901-1975). Элементы математической логики. Серия «Математическая логика и основания математики».\u003cbr\u003eМосква : Наука, Главная редакция физико-математической литературы, 1973. 400 страниц с иллюстрациями.\u003cbr\u003eТвердый переплет. Обычный формат. Суперобложка. Тираж 30 000 экземпляров.\u003cbr\u003eПереплет хороший: незначительный износ. Блок хороший: чистый, крепкий. Суперобложка хорошая: небольшие потертости и надрывы у кромок.\u003cbr\u003e***\u003cbr\u003eNovikov, Pyotr Sergeevich (1901-1975). Elements of Mathematical Logic. Series: Mathematical Logic and the Foundations of Mathematics.\u003cbr\u003eMoscow : Nauka, Main Editorial Board for Physical and Mathematical Literature, 1973. 400 pp., illustrated.\u003cbr\u003eHardcover. Standard format. Dust jacket. Print run of 30,000 copies.\u003cbr\u003eBinding good: light wear. Text block good: clean and firm. Dust jacket good: minor wear and small tears at edges.\u003c\/p\u003e\n\u003cp\u003eA foundational Soviet textbook in mathematical logic, by Pyotr Sergeevich Novikov (1901-1975), academician of the USSR Academy of Sciences, Lenin Prize laureate, and one of the principal architects of the Soviet school of mathematical logic and the theory of algorithms. Novikov is internationally best known for his 1955 solution, with William Boone working independently, of the word problem for groups, proving the existence of finitely presented groups with algorithmically unsolvable word problem, and for his work on the Burnside problem in group theory. The present volume, first published in 1959 and here offered in its revised second edition, provides a systematic and largely self-contained introduction to the propositional and predicate calculus and the formal system of arithmetic, requiring no prior background in the subject, and closes with a chapter presenting Novikov's own elementary proof of the consistency of a restricted portion of classical arithmetic. Issued in the flagship Nauka series \"Mathematical Logic and the Foundations of Mathematics,\" the book served for decades as a standard entry point to the subject for Soviet university students and remains a widely cited introductory text among Russian-language readers in logic and foundations.\u003c\/p\u003e","brand":"Stanza Rare Books","offers":[{"title":"Default Title","offer_id":44682581016618,"sku":null,"price":40.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0701\/6359\/5306\/files\/IMG_1731_faa48d23-de08-4a70-b094-508ca89b5fd5.jpg?v=1786782020","url":"https:\/\/stanzararebooks.com\/products\/novikov-p-elements-of-mathematical-logic-elementy-matematicheskoy-logiki-1973-in-russian","provider":"Stanza Rare Books","version":"1.0","type":"link"}