Поисковый запрос: (<.>U=510.6<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 20 |
|
>1.
| Громов, Олег Александрович. Методы и алгоритмы повышения отказоустойчивости программируемых логических интегральных схем на основе КМОП элементов с избыточным базисом : автореферат диссертации ... кандидата технических наук: 05.13.05. - Пермь
, 2013. - 16 с. (
1 экз. )
|
>2.
| Исследования по формализованным языкам и неклассическим логикам : научное издание. - М. : Наука
, 1974. - 275 с. (
2 экз. )
|
>3.
| Депман, Иван Яковлевич. Первое знакомство с математической логикой : научное издание. - Л.
, 1965. - 56 с (
1 экз. )
|
>4.
| Градштейн, Израиль Соломонович. Прямая и обратные теоремы. Элементы алгебры логики : научное издание. - М. : Наука
, 1965. - 128 с. (
3 экз. )
|
>5.
| Глушков, Виктор Михайлович. Логическое проектирование дискретных устройств : научное издание. - Киев : Наукова думка
, 1987. - 264 с (
1 экз. )
|
>6.
| Гильберт, Давид. Основания математики. Логические исчисления и формализация арифметики : научное издание. - М. : Наука
, 1982. - 556 с (
2 экз. )
|
>7.
| Барендрегт, Хендрик Питер. Ламбда - исчисление. Его синтаксис и сематика : научное издание. - М. : Мир
, 1985. - 606 с (
3 экз. )
|
>8.
| Антипенко, Леонид Григорьевич. Проблема неполноты теории и её гносеологическое значение : научное издание. - М. : Наука
, 1986. - 224 с. (
1 экз. )
|
>9.
| Философия и логика : . - М. : Наука
, 1974. - 478, [2] с. (
2 экз. )
|
>10.
| Петров, Юрий Александрович. Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) : . - М. : Издательство Московского университета
, 1974. - 191, [1] с. (
1 экз. )
|
>11.
| Клини, Стивен Коул. Математическая логика : Пер. англ.. - М. : КомКнига
. - М. : УРСС
, 20072007. - 480[2] с. (
20 экз. )
|
>12.
| Фейс, Роберт. Модальная логика : пер. с англ.. - М. : Наука
, 1974. - 520 с. (
2 экз. )
|
>13.
| Грэй, Питер. Логика, алгебра и базы данных : Пер. с англ.. - М. : Машиностроение
, 1989. - 359[1] с. (
7 экз. )
|
>14.
| Шапиро, Самуил Иосифович. Решение логических и игровых задач (логико-психологические этюды) : научное издание. - М. : Радио и связь
, 1984. - 152 с. (
2 экз. )
|
>15.
| Клини, Стефан Коул. Математическая логика : Пер. с англ.. - М. : Мир
, 1973. - 480 с. (
2 экз. )
|
>16.
| Карри, Хаскелл Б.. Основания математической логики. - М. : Мир
, 1969. - 567[1] с. (
2 экз. )
|
>17.
| Мендельсон, Эллиот. Введение в математическую логику : пер. с англ.. - М. : Наука
, 1971. - 320 с. (
4 экз. )
|
>18.
| Мендельсон, Эллиот. Введение в математическую логику : пер. с англ.. - М. : Наука
, 1984. - 319, [1] с. (
2 экз. )
|
>19.
| Смаллиан, Рэймонд. Как же называется эта книга? : пер. с англ.. - М. : Мир
, 1981. - 237[3] с. (
2 экз. )
|
>20.
| Смаллиан, Рэймонд. Алиса Стране Смекалки : Пер. с англ.. - М. : Мир
, 1987. - 179[5] с. (
1 экз. )
|
|
|