Основания математики. Логические исчисления и формализация арифметики. / Д. Гильберт, П. Бернайс

Main Author: Гильберт, Д., ДавидCoauthor: Бернайс, П., ПаульLanguage: русский ; of original work, немецкий.Country: Россия.Publication: Москва : Наука, 1979Description: 557 с.Series: Математическая логика и основания математикиBibliography: Библиогр.: с. 551-557..Subject: математика | арифметика | формализация | математическая логика | разрешимость | логические выводы | предикаты | исчисления | рекурсивные определения
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
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.

to post a comment.