| 000 | 01216cam0 22002891ib4500 | ||
|---|---|---|---|
| 001 | BY-MI0012-br62965 | ||
| 005 | 20210407145020.0 | ||
| 035 | ^a(BY-MI0012)BY-MI0012-br62965 | ||
| 100 | ^a20151123d1983 y0rusy50 ca | ||
| 101 | 0 | ^arus | |
| 102 | ^aRU | ||
| 105 | ^aa g 000yy | ||
| 109 | ^ahi | ||
| 200 | 1 |
^aТеорияДоказательств и конструктивная математика ^fпод ред.В.П.Оревкова ^gпер.с англ.Г.В.Давыдоваи Г.Е.Манца |
|
| 210 |
^aМ. ^cНаука ^d1983 |
||
| 215 | ^a391с. | ||
| 461 | 0 |
^12001 ^aСправочная книга по математической логике ^bТекст ^eв 4--х ч. ^vЧ.4 ^1210 ^d1982- |
|
| 610 | 0 | ^aМАТЕМАТИЧЕСКАЯ ЛОГИКА | |
| 610 | 0 | ^aМАТЭМАТЫЧНАЯ ЛОГIКА | |
| 686 |
^a22.1 ^v2 ^2rubbk |
||
| 690 |
^a1 ^2Base ^9BY-MI0012 ^xRSEK |
||
| 801 | 0 |
^aBY ^bBY-MI0012 ^c20151123 ^gpsbo |
|
| 801 | 2 |
^aBY ^bBY-MI0012 ^c20210405 ^gpsbo |
|
| 899 |
^aBY-MI0012 ^h22.1 ^iС 74 |
||