Refine your search
Availability
-
Bibliographic level
- Книги (10)
-
Authors
- Арутюнова, Нина Давидовна (1)
- Бах, Эммон (1)
- Герасимова, Ирина Алексеевна (1)
- Зыков, Сергей Викторович (1)
- Литвинов, Виктор Петрович (1)
- Митренина, Ольга Владимировна (1)
- Митрофанова, О. А. (1)
- Никитина, Серафима Евгеньевна (1)
- Новоселов, Михаил Михайлович (1)
- Поттосин, Игорь Васильевич (1)
- Слюсарева, Наталья Александровна (1)
- Солганик, Григорий Яковлевич (1)
- Спиридонова, Н. Ф. (1)
- Успенский, Владимир Андреевич (1)
- Show more
- Show less
-
Locations
- Книгохранилище [x]
- Читальный зал 4 (2)
- Читальный зал. Депозитарий (2)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (10)
- 1 месяц (5)
- 1 неделя (1)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- логика (5)
- семантика [x]
- семиотика (3)
- философия (3)
- высказывания (2)
- лингвистика (2)
- модальность (2)
- прагматика (2)
- русский язык (2)
- субъективная модальность (2)
- язык [x]
- 20 век 2 половина (1)
- Basic-REAL. (1)
- C#, язык программирования (1)
- Microsoft. NET платформа (1)
- REAL-программы (1)
- REAL. (1)
- Range-тест (1)
- SML-язык (1)
- SNL. (1)
- Банержи тест (1)
- Бах, Эммон (1)
- Витгенштейн, Людвиг (1)
- Математизация наук (1)
- Математические методы (1)
- Мышление и речь (1)
- НОД-тест (1)
- Омега-тест (1)
- Филология (1)
- Хоара логика (1)
- Щедровицкий, Георгий Петрович (1)
- абстрактные вычислительные машины (1)
- автоматическое распараллеливание (1)
- автор (1)
- алгебра высказываний (1)
- алгебра языков процессов (1)
- алгебраические спецификации (1)
- алгоритмы выявления зависимостей (1)
- анализ процессов (1)
- аномальность текста (1)
- аргументация (1)
- безопасность (1)
- взаимосвязи (1)
- виды дискурса (1)
- внеязыковая действительность (1)
- высказывание (1)
- высокопараллельные алгоритмы (1)
- вычисления с динамической длиной операндов (1)
- гомоморфизм (1)
- грамматика (1)
- Show more
- Show less