A Course in Mathematical Logic
роЬрпВройрпН 2013 ┬╖ Graduate Texts in Mathematics рокрпБродрпНродроХроорпН 53 ┬╖ Springer Science & Business Media
рооро┐ройрпНрокрпБродрпНродроХроорпН
288
рокроХрпНроХроЩрпНроХро│рпН
reportро░рпЗроЯрпНроЯро┐роЩрпНроХрпБроХро│рпБроорпН роХро░рпБродрпНродрпБроХро│рпБроорпН роЪро░ро┐рокро╛ро░рпНроХрпНроХрокрпНрокроЯрпБро╡родро┐ро▓рпНро▓рпИ┬ароорпЗро▓рпБроорпН роЕро▒ро┐роХ
роЗроирпНрод рооро┐ройрпНрокрпБродрпНродроХродрпНродрпИрокрпН рокро▒рпНро▒ро┐
1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last ten or fifteen years. These include: the independence of the continuum hypothe sis, the Diophantine nature of enumerable sets, the impossibility of finding an algorithmic solution for one or two old problems. All the necessary preliminary material, including predicate logic and the fundamentals of recursive function theory, is presented systematically and with complete proofs. We only assume that the reader is familiar with "naive" set theoretic arguments. In this book mathematical logic is presented both as a part of mathe matics and as the result of its self-perception. Thus, the substance of the book consists of difficult proofs of subtle theorems, and the spirit of the book consists of attempts to explain what these theorems say about the mathematical way of thought. Foundational problems are for the most part passed over in silence. Most likely, logic is capable of justifying mathematics to no greater extent than biology is capable of justifying life. 2. The first two chapters are devoted to predicate logic. The presenta tion here is fairly standard, except that semantics occupies a very domi nant position, truth is introduced before deducibility, and models of speech in formal languages precede the systematic study of syntax.
роЗроирпНрод рооро┐ройрпНрокрпБродрпНродроХродрпНродрпИ роородро┐рокрпНрокро┐роЯрпБроЩрпНроХро│рпН
роЙроЩрпНроХро│рпН роХро░рпБродрпНродрпИрокрпН рокроХро┐ро░ро╡рпБроорпН.
рокроЯро┐рокрпНрокродрпБ роХрпБро▒ро┐родрпНрод родроХро╡ро▓рпН
ро╕рпНрооро╛ро░рпНроЯрпНроГрокрпЛройрпНроХро│рпН рооро▒рпНро▒рпБроорпН роЯрпЗрокрпНро▓рпЖроЯрпНроХро│рпН
Android рооро▒рпНро▒рпБроорпН iPad/iPhoneроХрпНроХро╛рой Google Play рокрпБроХрпНро╕рпН роЖрокрпНро╕рпИ роиро┐ро▒рпБро╡рпБроорпН. роЗродрпБ родро╛ройро╛роХро╡рпЗ роЙроЩрпНроХро│рпН роХрогроХрпНроХрпБроЯройрпН роТродрпНродро┐роЪрпИроХрпНроХрпБроорпН рооро▒рпНро▒рпБроорпН роОроЩрпНроХро┐ро░рпБроирпНродро╛ро▓рпБроорпН роЖройрпНро▓рпИройро┐ро▓рпН роЕро▓рпНро▓родрпБ роЖроГрокрпНро▓рпИройро┐ро▓рпН рокроЯро┐роХрпНроХ роЕройрпБроородро┐роХрпНроХрпБроорпН.
ро▓рпЗрокрпНроЯро╛рокрпНроХро│рпН рооро▒рпНро▒рпБроорпН роХроорпНрокрпНропрпВроЯрпНроЯро░рпНроХро│рпН
Google Playропро┐ро▓рпН ро╡ро╛роЩрпНроХро┐роп роЖроЯро┐ропрпЛ рокрпБродрпНродроХроЩрпНроХро│рпИ роЙроЩрпНроХро│рпН роХроорпНрокрпНропрпВроЯрпНроЯро░ро┐ройрпН ро╡ро▓рпИ роЙро▓ро╛ро╡ро┐ропро┐ро▓рпН роХрпЗроЯрпНроХро▓ро╛роорпН.
рооро┐ройрпНро╡ро╛роЪро┐рокрпНрокрпБ роЪро╛родройроЩрпНроХро│рпН рооро▒рпНро▒рпБроорпН рокро┐ро▒ роЪро╛родройроЩрпНроХро│рпН
Kobo роЗ-ро░рпАроЯро░рпНроХро│рпН рокрпЛройрпНро▒ роЗ-роЗроЩрпНроХрпН роЪро╛родройроЩрпНроХро│ро┐ро▓рпН рокроЯро┐роХрпНроХ, роГрокрпИро▓рпИрокрпН рокродро┐ро╡ро┐ро▒роХрпНроХро┐ роЙроЩрпНроХро│рпН роЪро╛родройродрпНродро┐ро▒рпНроХрпБ рооро╛ро▒рпНро▒ро╡рпБроорпН. роЖродро░ро┐роХрпНроХрокрпНрокроЯрпБроорпН роЗ-ро░рпАроЯро░рпНроХро│рпБроХрпНроХрпБ роГрокрпИро▓рпНроХро│рпИ рооро╛ро▒рпНро▒, роЙродро╡ро┐ роорпИропродрпНродро┐ройрпН ро╡ро┐ро░ро┐ро╡ро╛рой ро╡ро┤ро┐роорпБро▒рпИроХро│рпИрокрпН рокро┐ройрпНрокро▒рпНро▒ро╡рпБроорпН.
