| 000 | 01869cam0 22004211ib4500 | ||
|---|---|---|---|
| 001 | BY-HR0000-br412536 | ||
| 005 | 20211216132657.0 | ||
| 010 | ^d2р.20к | ||
| 100 | ^a20120213d1983 k y0rusy50 ca | ||
| 101 | 0 | ^arus | |
| 102 | ^aRU | ||
| 105 | ^aa z 000yy | ||
| 109 | ^aaa | ||
| 200 | 1 |
^aМатематическая логика и автоматическое доказательство теорем ^fМинц,Г.Е ^gпер. с англ. Г.В.Давыдова и др. ^gпод ред. С.Ю.Маслова |
|
| 210 |
^aМ. ^cНаука ^d1983 |
||
| 215 | ^a358с. | ||
| 225 | 0 | ^aМатематическая логика и основания математики | |
| 300 | ^aВ кн. также: Теория поиска вывода и обратный метод / С.Ю.Маслов, Г.Е.Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П.Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю.МасловАлф. указ.: с. 350-358 | ||
| 320 | ^aБиблиогр.: с. 333-349 | ||
| 345 | ^98500 экз. | ||
| 686 |
^a22.122 ^v2 ^2rubbk |
||
| 686 |
^a27.03.15 ^v4 ^2rugasnti |
||
| 610 | 0 | ^aМАТЕМАТИЧЕСКАЯ ЛОГИКА | |
| 610 | 0 | ^aТЕОРЕМЫ | |
| 610 | 0 | ^aДОКАЗАТЕЛЬСТВА | |
| 610 | 0 | ^aМАТЭМАТЫЧНАЯ ЛОГIКА | |
| 610 | 0 | ^aДОКАЗЫ | |
| 700 | 1 |
^aЧень ^bЧ. |
|
| 701 | 1 |
^aЛи ^bР. |
|
| 701 | 1 |
^aМаслов ^bС. Ю. |
|
| 701 | 1 |
^aМинц ^bГ. Е. |
|
| 701 | 1 |
^aОревков ^bВ. П. |
|
| 801 | 0 |
^aBY ^bBY-HR0000 ^c20120213 ^gpsbo |
|
| 801 | 1 |
^aBY ^bBY-HR0000 ^c20170521 ^gpsbo |
|
| 690 |
^a1 ^2Base ^9BY-HR0000 ^xRSEK |
||
| 899 |
^aBY-HR0000 ^h22.122 ^iЧ-43 |
||