Поисковый запрос: (<.>A=Брусенцов, Николай Петрович$<.>) |
Общее количество найденных документов : 4
Показаны документы с 1 по 4 |
1. | 2001к/11623
Брусенцов, Николай Петрович . Искусство достоверного рассуждения : неформал. реконструкция аристотелевой силлогистики и булевой математики мысли / Н. П. Брусенцов. - М. : Фонд "Новое тысячелетие", 1998. - 132,[2] с. ; 22 см.. - Библиогр.: с. 133. - Алф. указ.: с. 129-132 ББК 22.12 Рубрики: Силлогистика Алгебра логики Доп.точки доступа: Брусенцов, Николай Петрович Найти похожие
| |
2. | 2009б/865
Брусенцов, Николай Петрович . Блуждание в трех соснах : (приключения диалектики в информатике) / Н. П. Брусенцов. - М. : SvR-АРГУС, 2000. - 15 с. ; 22 см.. - Библиогр.: с. 15. - ISBN 5-86949-021-9. ББК 87.4 Ю4в010 Рубрики: Математическая логика Доп.точки доступа: Брусенцов, Николай Петрович Найти похожие
| |
3. | 2009к/12987
Брусенцов, Николай Петрович . Искусство достоверного рассуждения : неформал. реконструкция аристотелевой силлогистики и булевой математики мысли / Н. П. Брусенцов. - М. : фонд "Новое тысячелетие", 1998. - 132, [1] с. ; 22 см.. - Библиогр.: с. 133. - Алф. указ.: с. 129-132 ББК 87.2 Ю3(0)321-217-136.12 В152.61в Рубрики: Силлогистика Алгебра логики Доп.точки доступа: Брусенцов, Николай Петрович; Аристотель \о нем\; Буль, Джордж \о нем\ Найти похожие
| |
4. | 2016л/923 СПИИ РАН
Ревич, Юрий Всеволодович . Информационные технологии в СССР : создатели советской вычислительной техники / Ю. В. Ревич, Б. Н. Малиновский. - Санкт-Петербург : БХВ-Петербург, 2014. - 333 с., [3] л. ил. : ил. ; 25 см. - Библиогр.: с. 319-323. - Имен. указ.: с. 325-329. - Содерж.: о С. А. Лебедеве, И. С. Бруке, Б. И. Рамееве, В. М. Глушкове, А. И. Китове, М. А. Карцеве, Н. П. Брусенцове, Б. Н. Малиновском. - 1000 экз.. - ISBN 978-5-9775-3309-6 (в пер.). ББК 32.973.26 З97г(2) Рубрики: Информатика - История Вычислительная техника - История СССР, информ. технологии Доп.точки доступа: Малиновский, Борис Николаевич (1921-2019); Лебедев, Сергей Алексеевич (1921-) \о нем\; Брук, Исаак Семенович (1902-1974) \о нем\; Рамеев, Башир Искандарович (1918-1994) \о нем\; Глушков, Виктор Михайлович (1923-1982) \о нем\; Китов, Анатолий Иванович (1920-2005) \о нем\; Карцев, Михаил Александрович (1923-1983) \о нем\; Брусенцов, Николай Петрович (1925-1914) \о нем\ Найти похожие
| ![](http://ecatalog.rasl.ru:8080/cgi-bin/irbis64r_11/cgiirbis_64.exe?LNG=&C21COM=3&P21DBN=BAN&I21DBN=BAN&BINARY_RESOURCE_OCC=1&BINARY_RESOURCE_MFN=671341) |
|