Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики / Бирюков Борис Владимирович. - 3-е изд., перераб. и доп. - Москва: Едиториал УРСС, 2004. - 232 с. - ISBN 5-354-00310-5.Отраслевые рубрики: кибернетика Ключевые слова: булева алгебра, Геделя теорема о неполноте, Геделя теорема о непротиворечивости, доказательство, древний мир, Древняя Греция, искусственный интеллект, история кибернетики, история философии, логика, математическая логика, машина Тьюринга, методология философии, механизация рассуждения, мышление, новейшее время, новое время, познание, рассуждения, силлогизмы, силлогистика, символическая логика, средние века, средства познания, схоластика, технические науки, умозаключение, философия техники, философские науки, формальная логика, Черча рекурсивные функции, ЭВМ Персоналии: Аристотель, Брауэр Лейтзен Эгберт Ян, Буль Джордж, Гильберт Давид, Лейбниц Готфрид Вильгельм, Луллий Раймунд, Сократ
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 1 | 1 | 0 | | чит. зал | 1 | 1 | 0 |
| 
Блог Мишки Б.
