Ц 34 Целищев, Виталий Валентинович. Две интерпретации логических систем : монография / В. В. Целищев, А. В. Бессонов ; отв. ред. А. Н. Кочергин. - 2-е изд. - Москва : КРАСАНД, 2010. - 273 с. - Библиогр. в конце кн. - ISBN 978-5-396-00140-4 : 172.70 р.
Рубрики: Логика -- Кванторная логика -- Формально-логические языки Логика -- Дедукция -- Теория дедуктивных умозаключений Держатели документа: Тюменская ОНБ Доп. точки доступа: Бессонов, Александр Владимирович Экземпляры всего: 1 КХ (С 5) (1) Свободны: КХ (С 5) (1) |