Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 2
Отмеченные записи: 0
1.
Подробнее
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231.. - ISBN 5288020493
Прил. : с. 232-268.
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231.. - ISBN 5288020493
Прил. : с. 232-268.
| УДК |
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
2.
Подробнее
Философские вопросы современной формальной логики : [сборник] / Академия наук СССР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Изд-во Академии наук СССР, 1962. - 364 с. : ил. - Библиогр. в конце ст.
ББК 87.4
Рубрики: формальная логика
Кл.слова (ненормированные):
философия -- логика двузначная -- логика многозначная -- логика формальная -- язык и формальная логика -- Биневский, Александр Александрович (библиотека)
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Философские вопросы современной формальной логики : [сборник] / Академия наук СССР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Изд-во Академии наук СССР, 1962. - 364 с. : ил. - Библиогр. в конце ст.
Рубрики: формальная логика
Кл.слова (ненормированные):
философия -- логика двузначная -- логика многозначная -- логика формальная -- язык и формальная логика -- Биневский, Александр Александрович (библиотека)
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Page 1, Results: 2