000 01185nam0a2200313 4500
001 RU\NLR\bibl\1830116
005 20260406044904.0
010 _a978-5-9221-1340-3
_9300
021 _aRU
_b2011-78796
_95612
035 _a(NLR Aleph) 001820623
090 _a2000444
_c2000444
100 _a20111108d2011 |||y0rusy50 ca
101 0 _arus
102 _aRU
105 _aa |||||||||
200 1 _aПрикладная логика
_fС.В. Попов, Н.Л. Брошкова
210 _aМосква
_cФизматлит
_d2011
215 _a212 с.
_cил.
_d22
320 _aБиблиогр.: с. 210-212 (45 назв.)
606 1 _aМатематическая логика
_xЛогическое исчисление
_92114042
_3RU\NLR\auth\661580831
686 _aВ123
700 1 _4070
_7ca
_8rus
_aПопов
_bС. В.
_cканд. физ.-мат. наук, кибернетика
_f1946-
_gСергей Викторович
_9114656
_3RU\NLR\auth\774679
701 1 _aБрошкова
_bН. Л.
_gНаталья Леонидовна
_4070
801 0 _aRU
_bNLR
_c20111108
_gRCR
801 1 _aRU
_bNLR
_c20111108
942 _cBOOK
980 _aNB
980 _aNBR