Refine your search
Availability
-
Authors
- Милль, Джон Стюарт
- Резенер, Федор Федорович
- Виноградов, Сергей Николаевич
- Гетманова, Александра Денисовна
- Гильберт, Давид
- Горский, Д. П.
- Ершов, Ю. Л.
- Закуев, А. К.
- Инельдер Б.
- Каландаришвили, Григорий Матвеевич
- Карпович, В. Н.
- Кириллов, В. И.
- Кузьмин, Александр Ферапонтович
- Лавров, Игорь Андреевич
- Минц, Г. Е.
- Слисенко, А. О.
- Старченко, А. А.
- Таванец, Петр Васильевич
- Целищев, Виталий Валентинович
- Чернявский, В. С.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Всесоюзный симпозиум по диалектической логике
- (Б-ка "Кибернетического сборника")
- Actualités scientifiques et industrielles
- Graduate texts in mathematics
- Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood
- Springer series in language and communication
- Universität Halle-Wittenberg; Wissenschaftliche Beiträge
- Yale library of medieval philosophy
- Б-ка кафедры алгебры и мат. логики
- Библиотека по автоматике
- Кибернетика
- Логика. Учение о суждении понятий и выводе
- Марксистско-ленинская диалектика
- Мат. логика и основания математики
- Матем. логика и основания математики
- Математич. логика и основания математики
- Математическая логика и основания математики
- Новое в жизни, науке, технике. 9 серия. Физика и химия
- Сер. "Кибернетика - неогранич. возможности и возмож. ограничения"
- Труды Института математики
- Show more
- Show less
-
Topics
- Automatic theorem proving
- Inference
- Language and logic
- Logic
- Logic, Medieval
- Logic, Symbolic and mathematical
- Logica
- Logique médiévale
- Mathematics
- Theoretische Philosophie
- Thought and thinking
- Алгебра логики
- Аналогия [лог.]
- Математическая логика
- Математическая логика - Сборники
- Математическая логика - Философские проблемы
- Отрицание в логике
- მათემატიკური ლოგიკა
- Show more
- Show less