Поисковый запрос: (<.>K=логики<.>) |
Общее количество найденных документов : 120
Показаны документы с 1 по 20 |
|
>1.
| Васильева, Наталья Петровна. Логические элементы в промышленной автоматике : . - М. : Госэнергоиздат
, 1962. - 160 с. (
1 экз. )
|
>2.
| Градштейн, Израиль Соломонович. Прямая и обратные теоремы. Элементы алгебры логики : научное издание. - М. : Наука
, 1965. - 128 с. (
3 экз. )
|
>3.
| Маковельский, Александр Осипович. История логики : . - М. : Наука
, 1967. - 501, [3] с. (
2 экз. )
|
>4.
| Карри, Хаскелл Б.. Основания математической логики. - М. : Мир
, 1969. - 567[1] с. (
2 экз. )
|
>5.
| Владимиров, Денис Артемьевич. Булевы алгебры : научное издание. - М. : Наука
, 1969. - 318 с. (
4 экз. )
|
>6.
| Ивин, Александр Архипович. Основания логики оценок : . - М. : МГУ
, 1970. - 228, [3] с. (
1 экз. )
|
>7.
| Гиндикин, Семен Григорьевич. Алгебра логики в задачах : научное издание. - М. : Наука
, 1972. - 288 с (
5 экз. )
|
>8.
| Карповский, Марк Гиршевич. Спектральные методы анализа и синтеза дискретных устройств : научное издание. - Л. : Энергия
, 1973. - 144 с. (
2 экз. )
|
>9.
| Фейс, Роберт. Модальная логика : пер. с англ.. - М. : Наука
, 1974. - 520 с. (
2 экз. )
|
>10.
| Гегель, Георг Вильгельм Фридрих. Энциклопедия философских наук []. - (Философское наследие). Т. 1 : Наука логики. - М. : Мысль
, 1974. - 456 с. (
2 экз. )
|
>11.
| Закревский, Аркадий Дмитриевич. Логические уравнения : научное издание
, 1975. - 95 с (
2 экз. )
|
>12.
| Бирюков, Борис Владимирович. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики : . - М. : Знание
, 1977. - 191, [1] с. (
1 экз. )
|
>13.
| Диалектика научного познания. Очерк диалектической логики : . - М. : Наука
, 1978. - 478, [2] с. (
1 экз. )
|
>14.
| Дурнев, Валерий Георгиевич. Элементы теории множеств и математической логики : учебное пособие. - Ярославль : ЯрГУ
, 1978. - 116 с. (
1 экз. )
|
>15.
| Савельев, Александр Яковлевич. Арифметические и логические основы цифровых автоматов : Учебник для вузов. - М. : Высшая школа
, 1980. - 254[2] с. (
6 экз. )
|
>16.
| Яглом, Исаак Моисеевич. Булева структура и ее модели : научное издание. - М. : Советское радио
, 1980. - 193 с. (
2 экз. )
|
>17.
| Семантика модальных и интенсиональных логик : пер. с англ. . - М. : Прогресс
, 1981. - 424 с. (
1 экз. )
|
>18.
| Голдблатт, Роберт. Топосы: категорный анализ логики : научное издание. - М. : Мир
, 1983. - 486 с. (
2 экз. )
|
>19.
| Целищев, Виталий Валентинович. Философские проблемы логики (семантические аспекты) : . - М. : Высшая школа
, 1984. - 126, [2] с. (
1 экз. )
|
>20.
| Шагурин, Игорь Иванович. Проектирование цифровых микросхем на элементах инжекционной логики. - М. : Радио и связь
, 1984. - 231 с. (
3 экз. )
|
|
|