Новые поступления (книга в стадии обработки) Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома = Notes on logic / R. C. Lyndon : научное издание. - М. : Изд-во "Мир", 1968. - 127 с. ; 20 см. - (Современная математика = Van nostrand mathematical studies). - Библиогр.: с. 123 (20 назв.). - Указ.: с. 124-127. - 0.41 р. Тит. л. парал. на англ. яз.
Рубрики: Философия--Логика Кл.слова (ненормированные): ГРАММАТИКА -- ТЕРМЫ -- ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА -- РАЗРЕШИМЫЕ ТЕОРИИ -- ЛОГИКА ПРЕДИКТОВ -- ТЕОРЕМА ДЕДУКЦИИ -- ТЕОРЕМА О НЕПРОТИВОРЕЧИВОСТИ -- ТЕОРЕМА АДЕКВАТНОСТИ Аннотация: Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства он тем не менее нигде не ограничился одним описанием. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гастев, Ю. А. Яглом, И. М. |
Новые поступления (книга в стадии обработки) Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - Москва : Мир, 1968. - 128 с. - 0.41 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): булева алгебра -- геделевы номера -- логика -- математические методы -- пропозициональная логика -- разрешимые теории -- теорема Геделя -- теорема Крейга -- теорема Левенгейма-Сколема -- теорема Тарского -- теорема Черча -- теорема Эрбрана-Генцена -- теорема адекватности -- теорема дедукции -- теорема компктности -- теорема о непротиворечивости -- теоремы (логика) Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Гастева, Ю. А. Яглом, Исаак Моисеевич |