| 000 | 00764nas a2200253u##4500 | ||
|---|---|---|---|
| 001 | genk/184315 | ||
| 003 | POUNB | ||
| 005 | 20240110015839.0 | ||
| 020 | _c0.67, тираж 4400 | ||
| 040 | _aПОУНБ | ||
| 041 | _a | ||
| 100 | 1 |
_aСмирнов,В. А. _qВладимир Александрович _4aut |
|
| 245 | 0 | 0 |
_aФормальный вывод и логические исчисления _cВ. А. Смирнов |
| 260 |
_aМ. _bНаука _c1972 |
||
| 300 | _a271 с. | ||
| 650 | 0 | 4 | _aЛогика |
| 942 | _cBOOK | ||
| 090 | _xС 506 | ||
| 991 |
_bgenk _c16/С 506-434617698 |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_asheet _bnb _2rdacarrier |
||
| 999 |
_c1548008 _d1548008 |
||
| 084 |
_a16 _2tbk |
||