| 000 | 01664nam0a2200349 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010199815 | ||
| 005 | 20241114175658.0 | ||
| 010 |
_a9785288054952 _9300 |
||
| 021 |
_aRU _b2013-107410 _97452 |
||
| 035 | _a(NILC)RuMoRGB-006727761 | ||
| 035 | _a(NLR Aleph) 010199815 | ||
| 090 |
_a10237791 _c10237791 |
||
| 100 | _a20140304d2013 m y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay|||j||||00yy | ||
| 200 | 1 |
_aОбучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов _eучебное пособие _fТ. М. Косовская _gСанкт-Петербургский гос. ун-т |
|
| 210 |
_aСанкт-Петербург _cИздательский дом Санкт-Петербургского государственного университета _d2013 |
||
| 215 |
_a126, [1] с. _d20 |
||
| 225 | 1 | _aМатематическая логика | |
| 320 | _aБиблиогр. в конце кн. (7 назв.) | ||
| 606 |
_aМатематическая логика _jУчебные издания для высших учебных заведений _xЛогическое исчисление _92114042 _3RU\NLR\AUTH\661580831 |
||
| 675 | _a510.6(075.8) | ||
| 686 | 1 | _aВ123я73-1 | |
| 700 | 1 |
_aКосовская _bТ. М. _gТатьяна Матвеевна |
|
| 801 | 0 |
_aRU _bRuMoRKP _c20140121 _gRCR |
|
| 801 | 2 |
_aRU _bРГБ _c20140131 _grcr |
|
| 801 | 1 |
_aRU _bRuMoRKP _c20140121 _2rusmarc |
|
| 942 | _cBOOK | ||
| 980 | _aNBR | ||