Refine your search
Availability
-
Authors
- Горский, Дмитрий Павлович
- Абдильдин, Жабайхан Мубаракович
- Бирюков, Б. В.
- Виноградов, Сергей Николаевич
- Гетманова, Александра Денисовна
- Гильберт, Давид
- Горский, Д. П.
- Инельдер Б.
- Кириллов, В. И.
- Кузьмин, Александр Ферапонтович
- Лавров, Игорь Андреевич
- Минто, Вильям
- Минц, Г. Е.
- Попович, М. В.
- Слисенко, А. О.
- Старченко, А. А.
- Стяжкин Н. И.
- Таванец, Петр Васильевич
- Целищев, Виталий Валентинович
- Чупахин, И. Я.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- (Труды/ Второй Моск. гос. мед. ин-т им. Н. И. Пирогова)
- Всесоюзный симпозиум по диалектической логике
- ACM monograph series
- Graduate texts in mathematics
- Lecture Notes in Mathematics
- Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood
- Springer series in language and communication
- Wissenschaftliche Beiträge
- Wissenschaftliche Beiträge der Martin-Luther-Universität Halle-Wittenberg
- Б-ка кафедры алгебры и мат. логики
- Библиотека по автоматике
- Кибернетика
- Логика. Учение о суждении понятий и выводе
- Марксистско-ленинская диалектика
- Мат. логика и основания математики
- Матем. логика и основания математики
- Математич. логика и основания математики
- Математическая логика и основания математики
- Современная математика. Популярная серия
- Труды Института математики
- Show more
- Show less
-
Topics
- Automatic theorem proving
- Inference
- Language and logic
- Logic
- Logic, Symbolic and mathematical
- Mathematics
- Reasoning
- Recursion theory
- Semantics
- Stocks
- Theoretische Philosophie
- Thought and thinking
- Алгебра логики
- Аналогия [лог.]
- Математическая логика
- Математическая логика - Сборники
- Математическая логика - Философские проблемы
- მათემატიკური ლოგიკა
- Show more
- Show less