| 000 | 00548nam a2200169Ia 4500 | ||
|---|---|---|---|
| 001 | 45256 | ||
| 003 | CONS | ||
| 008 | 171227s9999 xx 000 0 und d | ||
| 041 | 0 | _arus | |
| 082 | 0 | 4 | _a510.6 |
| 100 | 1 | _aЧень Ч. | |
| 245 | 1 | 0 |
_aМатематическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики) _cЧень Ч., Ли Р. |
| 260 |
_aМ. _bНаука _c1983 |
||
| 300 | _a358 с. | ||
| 700 | 1 | _aЛи Р. | |
| 942 |
_2udc _cBK |
||
| 999 |
_c44882 _d44882 |
||