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