Математический интуиционизм Введение в теорию доказательств

Bibliographic Details
Main Author: Драгалин, Альберт Григорьевич 1941-1998
Format: Book
Language:Russian
Published: М. Наука 1979
Online Access:Перейти в каталог НБ ТГУ
LEADER 00942nam a2200193 4500
001 vtls000126194
003 RU-ToGU
005 20210909185117.0
008 020213 1979 ru 00| | rus
035 |a 0129-82860 
039 9 |y 200511070709  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU  |e PSBO 
100 1 |a Драгалин, Альберт Григорьевич  |d 1941-1998  |9 93662 
245 1 0 |a Математический интуиционизм  |b Введение в теорию доказательств  |c А. Г. Драгалин 
260 |a М.  |b Наука  |c 1979  |9 687413 
300 |a 256 с. 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=125516 
999 |c 125516  |d 125516 
952 |0 0  |1 0  |4 0  |6 1374513  |7 0  |9 249311  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2021-04-03  |g 1.20  |l 0  |o 1-374513  |p 13820000330686  |r 2021-04-03  |t 1  |w 2021-04-03  |y 4