Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин

Main Author: Драгалин, А. Г., математик, логик-конструктивист, 1941-1998, Альберт ГригорьевичLanguage: русский.Country: Россия.Publication: Москва : Наука, 1979Description: 256 с. : ил.Series: Математическая логика и основания математикиBibliography: Библиогр.: с. 240-250.; Именной указатель: с. 251-255..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
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-988 Available
Books НТБ ТПУ Научный фонд 79-11686 Available
Books НТБ ТПУ Учебный фонд 510 Д721 Available 13821000189121
Total holds: 0

Доп. тит. лист

Библиогр.: с. 240-250.

Именной указатель: с. 251-255.

There are no comments on this title.

to post a comment.