Введение в математическую логику

by E. Mendelson

V knige E.Mendel'sona "Vvedenie v matematicheskuyu logiku" dayotsya dostupnoe dlya nachinayuschego chitatelya i dostatochno polnoe izlozhenie osnovnyh razdelov sovremennoj matematicheskoj logiki i mnogih eyo prilozhenij. Naryadu s takimi razdelami, kak logika vyskazyvanij, ischislenie predikatov, formal'naya arifmetika i teoriya algoritmov, v nej osvescheny takzhe teoriya modelej i aksiomaticheskaya teoriya mnozhestv, otsutstvuyuschie v knige S.K. Klinin "Vvedenie v matematiku," kotoraya do nastoyaschego vremeni sluzhila naibolee polnym posobiem po matematicheskoj logike. Sleduet odnako otmetit', chto v otlichie ot knigi S.K. Klinin v etoj knige po suschestvu ne zatragivayutsya intuitsionistskoe i konstruktivnoe napravleniya matematicheskoj logike. Izlozhenie materiala v knige yasnoe i lakonichnoe. Osnovnoj tekst peremezhaetsya s bol'shim chislom primerov i uprazhnenij. V uprazhneniya avtor vynes takzhe nekotorye rezul'taty, ispol'zuemye zatem v osnovnom tekste. Eto, naryadu s lakonichnost'yu izlozheniya, sposobstvovalo sokrascheniyu razmerov knigi pri ves'ma obshirnom soderzhanii. This book, "Vvedenie v matematicheskuyu logiku," by Mendel'son E., is a replication of a book originally published before 1971. It has been restored by human beings, page by page, so that you may enjoy it in a form as close to the original as possible.

326 pages, Paperback

First published January 6, 2013