| 000 | 00614nam a2200181 4500 | ||
|---|---|---|---|
| 999 |
_c188078 _d188076 |
||
| 003 | Ge_NSL | ||
| 005 | 20180424160419.0 | ||
| 008 | 180424s1972 ru ||||| |||| 00| 0 rus d | ||
| 041 | _arus | ||
| 080 | _a16 | ||
| 100 | _aСмирнов, Владимир Александрович | ||
| 245 |
_aФормальный вывод и логические исчисления / _c АН СССР. Ин-т философии ; В.А.Смирнов. |
||
| 264 |
_aМосква : _bНаука, _c1972. |
||
| 300 | _a271 с. | ||
| 653 | _aლოგიკა | ||
| 710 | _aИн-т философии | ||
| 942 |
_2udc _cBK |
||