Конструктивная математическая логика с точки зрения классической / П. С. Новиков
Language: русский.Country: Россия.Publication: Москва : Наука, 1977Description: 328 с. : ил.Series: Математическая логика и основания математикиBibliography: Библиогр.: с. 318-320.; Указатель имен и предметов: с. 323-328..Subject: математическая логика | математика | предикативная алгебра | формальная логика| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 77-7076 | Available | 13821000392453 | |
| Books | НТБ ТПУ Учебный фонд | 517 Н731 | Available | 13821000177766 |
Total holds: 0
Библиогр.: с. 318-320.
Указатель имен и предметов: с. 323-328.
There are no comments on this title.
Log in to your account to post a comment.