Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики / Бирюков Борис Владимирович. - 2-е изд., перераб. и доп. - Москва: Знание, 1985. - 192 с. - (Наука и прогресс).Отраслевые рубрики: кибернетика Ключевые слова: булева алгебра, доказательство, древний мир, Древняя Греция, искусственный интеллект, история кибернетики, история философии, логика, математическая логика, методология философии, механизация рассуждения, мышление, новейшее время, новое время, познание, рассуждения, силлогизмы, силлогистика, символическая логика, средние века, средства познания, схоластика, технические науки, умозаключение, философия техники, философские науки, формальная логика, ЭВМ Персоналии: Аристотель, Брауэр Лейтзен Эгберт Ян, Буль Джордж, Гильберт Давид, Лейбниц Готфрид Вильгельм, Луллий Раймунд, Сократ
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 1 | 1 | 0 |
| 
Блог Мишки Б.
