| 000 | 02238nam a2200445 4500 | ||
|---|---|---|---|
| 001 | vtls000091580 | ||
| 003 | RU-ToGU | ||
| 005 | 20220926104743.0 | ||
| 008 | 950417s1991 ru a | b 001 0 rus d | ||
| 020 | _a5339003426 | ||
| 035 | _a0094-87660 | ||
| 035 | _a(RU-ToGU)ru91-023828 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _dRU-ToGU _ePSBO |
||
| 080 | _a510.6(075.8) | ||
| 084 |
_a27.03 _2rugasnti |
||
| 084 |
_a22.12 _2rubbk |
||
| 245 | 1 | 0 |
_aМатематическая логика _b[Учебное пособие для математических специальностей педагогических институтов] _cЛ. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра |
| 260 |
_aМинск _bВышэйшая школа _c1991 |
||
| 300 |
_a269, [3] с. _bил. _c21 см |
||
| 500 | _aАвт. указ. на обороте тит. л. | ||
| 504 | _aБиблиогр.: с. 260. - Терминол. указ.: с. 261-266 | ||
| 650 | 7 |
_aМатематическая логика - Учебники и пособия. _2rurkp _9183804 |
|
| 653 | _aучебные пособия для вузов. | ||
| 653 | _aлогика высказываний. | ||
| 653 | _aалгебра высказываний. | ||
| 653 | _aисчисление высказываний. | ||
| 653 | _aлогика предикатов. | ||
| 653 | _aматематические теории. | ||
| 653 | _aалгоритмы. | ||
| 653 | _aрекурсивные функции. | ||
| 653 | _aМаркова алгоритмы нормальные. | ||
| 653 | _aматематическая логика. | ||
| 700 |
_aСтоляр, Абрам Аронович _eавт.-ред. _4aut _4edt _9565111 |
||
| 700 | 1 |
_aЛатотин, Леонид Александрович. _9184739 |
|
| 700 | 1 |
_aМакаренков, Юрий Алексеевич. _9184740 |
|
| 700 | 1 |
_aНиколаева, Валентина Владимировна. _9184741 |
|
| 852 | 4 |
_aRU-ToGU _h510 _iМ34 _nru |
|
| 908 | _aучебник | ||
| 999 | _c92623 | ||