000 nam a22 a 4500
999 _c375404
_d375404
003 BLK
005 20200716141642.0
008 180409b bul|||||r ||||||| ||bul||
010 _aKNG00147977000
040 _aBLK
041 _aRUS
_cRUS
041 _aENG
_cENG
080 _aМатематическа логика. Логически и логико-предметни езици и теории, формални логически системи, логико-математически теорииртеория на моделите и др. Вж и 519. 21 ; 519. 76 ; 519. 86
_b510.6
_x(061.3)
_z510.6(061.3)
139 _aМатематическая логика
245 1 0 _aМатематическая логика
_bТруды конф. по мат. логике, посвященной памяти А. А. Маркова 1903-1979, София, 22-23 сент. 1980 г.
_cРед. кол. Д. Скордев - отв. ред. и др.
246 _aMathematical logic : Proc. of the Conf. on Math. Logic, dedicated to the memory of A. A. Markov 1903-1979, Sofia, Sept. 22-23, 1980
_bEd. board D. Skordev - ed. in chief et al
257 _aBGR
260 _bБАН
_c1984
_9406277
_aСофия
300 _a172 с., 1 л. : портр.
_c25 см
380 _a5
500 _aДруги ред.: Н. Георгиева, Р. Павлов, А. Буда, Г. Гаргов, П. Петков, Вл. Сотиров. - Изд. на БАН. Единый центр математики и механики. - Текст и на англ. ез. - 500 тир. - Библиогр. след отд. докл.
650 4 _aЛогика, символна и математическа
_9262676
653 _aматематическа логика
852 _aЦб 126032
856 4 _qpdf
942 _cKNG
_n0
_s1
944 _aCR
_c2020-07-16
_kРенета Константинова
999 _d141901