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