Введение в математическую логику. Пер. с англ.
| ISBN | 978-5-397-00468-8 |
| Автор | Чёрч А. |
| Издательство | Книжный дом "ЛИБРОКОМ" |
| Переплет | м |
| Формат | 60x90/16 |
| Серия | Физико-математическое наследие: математика (основания математики и логика) |
| Вес, гр | 470 |
| Год | 2009 |
| Стр. | 480 |
| Наличие | нн |
| ID | 56ЛИБ |
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики. Данный первый том вполне может быть использован в качестве самостоятельного систематического курса математической логики; второй том предполагался к изданию, но еще не был переведен на русский язык.Содержащееся в этом томе Введение (стр. 15--63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.
