Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. Книга предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.
Shirokoe ispolzovanie matematicheskoj logiki v oblasti matematicheskikh mashin i v drugikh oblastjakh matematiki i tekhniki privodit ko vse vozrastajuschemu interesu k matematicheskoj logike kak sredi matematikov, tak i sredi lits prikladnykh spetsialnostej. Kniga R.L.Gudstejna mozhet sluzhit kratkim vvedeniem v matematicheskuju logiku. Ot mnogikh drugikh knig po logike, imejuschikhsja na russkom jazyke, ona vygodno otlichaetsja tem, chto pri nebolshom obeme v nej izlagajutsja vse osnovnye voprosy, vkljuchaja znamenitye teoremy Gedelja o polnote ischislenija predikatov i nepolnote arifmetiki. Kniga prednaznachaetsja dlja studentov starshikh kursov matematicheskikh fakultetov i lits prikladnykh spetsialnostej, zanimajuschikhsja mashinnoj matematikoj. Ona mozhet byt polezna takzhe prepodavateljam matematiki i logiki v vuzakh i, krome togo, mozhet byt ispolzovana dlja samoobrazovanija.
