| 000 | 00775nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | 26255 | ||
| 003 | UA-OsUOA | ||
| 005 | 20220626232511.0 | ||
| 007 | ta | ||
| 008 | 20040524b un ||||| |||| 00| 0 ukr d | ||
| 040 |
_aUA-OsUOA _brus _cUA-OsUOA _dUA-OsUOA |
||
| 041 | _arus | ||
| 044 | _aRU | ||
| 080 | _a510.6(035) | ||
| 090 |
_a510.6(035) _bС74 |
||
| 245 |
_aСправочная книга по математической логике: теория доказательств и конструктивная математика _cред. Дж. Барвайс |
||
| 260 |
_aМосква _bГлавная редакция физико-математической литературы _c1983 |
||
| 300 | _a392 с. | ||
| 650 | 7 | _2UDC | |
| 942 |
_cBK _2udc |
||
| 955 | _a0 | ||
| 999 |
_c312574 _d312574 |
||