000			nam a22 a 4500
999			_c440637 _d440637
003			BLK
005			20211217131005.0
008			180408b bul|||||r ||||||| ||bul||
040			_aBLK
041			_aBUL _cBUL
080			_aОснови на математиката - Теория на множествата, формализъм и интуиционизъм(мат. аспекти), конструктивен подход, конструктивна математика, логически позитивизъм, логическа семантика и др. Вж и 5 _b510.2 _x(075.8) _z510.2(075.8)
080			_aМатематическа логика. Логически и логико-предметни езици и теории, формални логически системи, логико-математически теорииртеория на моделите и др. Вж и 519. 21 ; 519. 76 ; 519. 86 _b510.6 _x(075.8) _z510.6(075.8)
080			_aМатематическа логика. Логистика _b164 _x(075.8) _z164(075.8)
100			_aПопов, А. И. _eпърви автор _9468966
139			_aПопов, А. И.
245	1	0	_aВъведение в математическата логика _cА. И. Попов ; прев. от рус. Ив. Михов.
257			_aBGR
260			_bНаука и изкуство _c1961 _9209548 _aСофия _n978-954-02-
300			_a120 с. _c25 см
380			_a5
650		4	_aМножества (мат.) _9162550
650		4	_aЛогика, символна и математическа _9262676
653			_aтеория на множествата
653			_aматематическа логика
653			_aучебници за ВУЗ
700			_9278096 _aМихов, Иван Михайлов _eпрев. от рус.
852			_aЦб 19698
942			_cKNG _n0 _s1
944			_aCR _c2021-12-17 _kВК