| 000 | 01311cam0 22003491ib4500 | ||
|---|---|---|---|
| 001 | BY-HR0000-br412488 | ||
| 005 | 20211216132656.0 | ||
| 010 | ^d2р.70к. | ||
| 100 | ^a20120213d1979 k y0rusy50 ca | ||
| 101 | 0 | ^arus | |
| 102 | ^aRU | ||
| 105 | ^aa z 000yy | ||
| 109 | ^aaa | ||
| 200 | 1 |
^aОснования математики ^eлогич. исчисления и формализация арифметики ^fГильберт,Давид ^gпер. с нем. Н.М.Нагорного ^gпод ред. С.И.Адяна |
|
| 210 |
^aМ. ^cНаука ^d1979 |
||
| 215 | ^a557с. | ||
| 225 | 0 | ^aМатематическая логика и основания математики | |
| 300 | ^aАлф. указ.: с. 551-557 | ||
| 345 | ^918000 экз. | ||
| 686 |
^a22.121 ^v2 ^2rubbk |
||
| 686 |
^a27.03 ^v4 ^2rugasnti |
||
| 686 |
^a27.03.15 ^v4 ^2rugasnti |
||
| 610 | 0 | ^aМАТЕМАТИЧЕСКАЯ ЛОГИКА | |
| 610 | 0 | ^aМАТЭМАТЫЧНАЯ ЛОГIКА | |
| 700 | 1 |
^aГильберт ^bД. ^gДавид |
|
| 701 | 1 |
^aБернайс ^bП. ^gПауль |
|
| 801 | 0 |
^aBY ^bBY-HR0000 ^c20120213 ^gpsbo |
|
| 801 | 1 |
^aBY ^bBY-HR0000 ^c20170521 ^gpsbo |
|
| 690 |
^a1 ^2Base ^9BY-HR0000 ^xRSEK |
||
| 899 |
^aBY-HR0000 ^h22.121 ^iГ 47 |
||