Математическая логика : алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний; учебное пособие / С. В. Путилов, М. А. Корпачёва, М. М. Сорокина
Язык: русский.Выходные данные: Москва : URSS; ЛЕНАНД, 2024Физическая характеристика: 173, [1] с. : ил., табл. ; 21 см.ISBN: 978-5-00237-016-0 Издание: Изд. 2-е, испр.Примечания: На 4-й с. обл. авт.: С. В. Путилов, канд. физ.-мат. наук, доц., М. А. Корпачёва, канд. физ.-мат. наук, доц., М. М. Сорокина, д-р физ.-мат. наук, проф..Библиография: Библиогр. в конце кн..Предметная рубрика - Тема: Математическая логика -- Учебные издания для высших учебных заведений Другие классификации: В12я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд | 2025-5/2281 (Просмотр полки(Открывается ниже)) | КН-П-135 | Доступно | 1-4875396 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж, Хран. | 2025-5/2281 (Просмотр полки(Открывается ниже)) | КН-П-135 | Доступно | 1-4875392 |
На 4-й с. обл. авт.: С. В. Путилов, канд. физ.-мат. наук, доц., М. А. Корпачёва, канд. физ.-мат. наук, доц., М. М. Сорокина, д-р физ.-мат. наук, проф.
Библиогр. в конце кн.