Основания математики. Логические исчисления и формализация арифметики. / Д. Гильберт, П. Бернайс
Language: русский ; of original work, немецкий.Country: Россия.Publication: Москва : Наука, 1979Description: 557 с.Series: Математическая логика и основания математикиBibliography: Библиогр.: с. 551-557..Subject: математика | арифметика | формализация | математическая логика | разрешимость | логические выводы | предикаты | исчисления | рекурсивные определения| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 80-1110 | Available | |||||||||||||||
| Books | НТБ ТПУ Учебный фонд | 510.6 Г474 | Available | 13821000171637 | ||||||||||||||
| Books | НТБ ТПУ Научный фонд | 80-4829 | Available |
Total holds: 0
Библиогр.: с. 551-557.
There are no comments on this title.
Log in to your account to post a comment.