Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> теорема Гёделя
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 3
--> теорема Гёделя
Рубрика
- Название:
- теорема Гёделя
Печать списка
Связанные описания:
Доступно
1 из 1
Заказать 
На полку Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2004 г.
ISBN 5-922102-78-8
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2004 г.
ISBN 5-922102-78-8
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2007 г.
ISBN 5-922102-78-8
Успенский, Владимир Андреевич
Вводный курс математической логики
Физматлит, 2007 г.
ISBN 5-922102-78-8
Доступно
1 из 1
Книга
Гедель. Теоремы о неполноте. У интуиции есть своя логика: Пер. с исп.
ISBN отсутствует
Гедель. Теоремы о неполноте. У интуиции есть своя логика: Пер. с исп.
Серия: Наука. Величайшие теории
Де Агостини, 2015 г.ISBN отсутствует
Доступно
1 из 1
Книга
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Книга
Гуревич, Игорь Михайлович
Модели сетей классических и квантовых компьютеров
ТОНЧУ, 2015 г.
ISBN 978-5-91215-117-0
Гуревич, Игорь Михайлович
Модели сетей классических и квантовых компьютеров
ТОНЧУ, 2015 г.
ISBN 978-5-91215-117-0
Доступно
1 из 1
Доступно
1 из 1
Книга
Пенроуз, Роджер
Тени разума: в поисках науки о сознании
Институт компьютерных исследований, 2005 г.
ISBN 5-939724-57-4
Пенроуз, Роджер
Тени разума: в поисках науки о сознании
Институт компьютерных исследований, 2005 г.
ISBN 5-939724-57-4
Доступно
1 из 1
Доступно
2 из 3