Л 59 Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома. - М. : Мир, 1968. - 127, [1] с. - (Современная математика. Популярная серия.). - 0.41 р. Рубрики: Математическая логика Кл.слова (ненормированные): грамматика -- термы -- семантическое следование -- пропозициональная логика -- алгебра высказываний -- дизъюнктивная форма -- булева алгебра -- пропозициональная логика -- разрешимость теории -- оправданность аксиоматизации -- теорема дедукции -- категоричность -- другая формулировка -- теорема адекватности -- теорема Крэйга -- гёделевы номера Доп.точки доступа: Гастева, Ю. А. \пер. с англ.\; Яглома, И.М. \под ред.\ Экземпляры всего: 2 Ч.з.1 (1), Аб.2 (1) Свободны: Ч.з.1 (1), Аб.2 (1) |