000 01656nam0a2200385 4500
001 RU\NLR\bibl\210455
005 20250619100644.0
010 _a5-288-02049-3
_9500
021 _aRU
_b2001-31341
_91496
035 _a(NLR Aleph) 000206672
090 _a1198909
_c1198909
100 _a20011114d2000 |||y0rusy50 ca
101 0 _arus
102 _aRU
105 _ay |||||||||
200 1 _aЛогики конечнозначных предикатов на основе неравенств
_eУчеб. пособие
_fН. К. Косовский, А. В. Тишков
_gС.-Петерб. гос. ун-т
210 _aСПб.
_cИзд-во С.-Петерб. ун-та
_d2000
215 _a268 с.
_d20
320 _aПредм. указ.: с. 221-224
320 _aБиблиогр.: с. 225-231, 268
606 0 _aМатематическая логика
_jРуководства, пособия и т.п. для высшей школы
_xИсчисление предикатов
_92255986
_3RU\NLR\auth\661352942
606 0 _aИсчисление предикатов
_jУчебные издания для высшей школы
_92255985
_3RU\NLR\auth\661352941
610 0 _aМатематическая логика
675 _a510.6(078)
_v3
_zrus
686 _a27.03
_2rugasnti
686 _a22.12
_2rubbk
686 _aВ123я73-1
700 1 _aКосовский
_gНиколай Кириллович
_4070
701 1 _aТишков
_gАртем Валерьевич
_4070
801 0 _aRU
_bRKP
_c20011114
_gPSBO
801 1 _aRU
_bRKP
_c20011114
801 2 _aRU
_bNLR
_c20020926
_grcr
942 _cBOOK
980 _aNB