000 00955nam a2200277u##4500
001 genk/119126
003 POUNB
005 20240110060232.0
020 _c1.20, тираж 6700
040 _aПОУНБ
_brus
041 _arus
044 _aRU
100 1 _aДрагалин,А. Г.
_qАльберт Григорьевич
_4aut
245 0 0 _aМатематический интуиционизм
_bвведение в теорию доказательств
_cА. Г. Драгалин
260 _aМ.
_bНаука
_c1979
300 _a256 с.
440 0 _aМатематическая логика и основания математики
650 0 4 _aМатематическая логика
942 _cBOOK
090 _xД 721
991 _bgenk
_c517/Д 721-375204
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _asheet
_bnb
_2rdacarrier
999 _c1801483
_d1801483
084 _a517
_2tbk