| 000 | 02407nam a22005291 4500 | ||
|---|---|---|---|
| 001 | vtls000213770 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922124409.0 | ||
| 008 | 950720s1981 a b 1 rus d | ||
| 035 | _a(RU-RKP)ru81-067228 | ||
| 040 |
_aRU-RKP _brus _cRU-RKP _dRU-ToGU |
||
| 080 | _a510.6(075.32) | ||
| 084 |
_a22.12я72 _2rubbk |
||
| 100 | 1 |
_aНикольская, Инна Львовна. _969376 |
|
| 245 | 1 | 0 |
_aМатематическая логика _b[учебник для техникумов по специальности "Прикладная математика"] _cИ. Л. Никольская |
| 260 |
_aМ. _bВысшая школа _c1981 |
||
| 300 |
_a127 с. _bил. _c20 см. |
||
| 504 | _aБиблиогр.: с. 123 | ||
| 504 | _aПредм. указ.: с. 124-125 | ||
| 650 | 7 |
_aМатематическая логика - Учебники и пособия _2RU-RKP _9183804 |
|
| 653 | _aучебные пособия для техникумов | ||
| 653 | _aлогические операции | ||
| 653 | _aконъюнкция | ||
| 653 | _aдизъюнкция | ||
| 653 | _aимпликация | ||
| 653 | _aэквиваленция | ||
| 653 | _aлогика высказываний | ||
| 653 | _aтавтологии (мат. логика) | ||
| 653 | _aзаконы логики | ||
| 653 | _aзакон контрапозиции | ||
| 653 | _aформулы логики высказываний | ||
| 653 | _aаргументы (мат. логика) | ||
| 653 | _aлогическое следование | ||
| 653 | _aтаблицы истинности | ||
| 653 | _aпредикаты | ||
| 653 | _aлогические операции | ||
| 653 | _aотношения порядка | ||
| 653 | _aотношения эквивалентности | ||
| 653 | _aкванторы | ||
| 653 | _aформулы логики предикатов | ||
| 653 | _aлогическая равносильность | ||
| 653 | _aпреключательные схемы | ||
| 653 | _aнормальные формы (мат. логика) | ||
| 852 | 4 |
_aRU-ToGU _h510 _iН64 _nru |
|
| 908 | _aучебник | ||
| 999 | _c515848 | ||