|
|
|
|
|
00000nam0a22000001ib4500 |
| 001 |
BY-NLB-rr30888230000 |
| 005 |
20070618191530.0 |
| 010 |
# |
# |
$d 70 к.
|
| 021 |
# |
# |
$a RU
$b [81-73016]
|
| 100 |
# |
# |
$a 20070618d1981 y0rusy50 ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 200 |
1 |
# |
$a Теория формальных систем
$f Пер. с англ. Н. К. Косовского; Под ред. [и с предисл.] Н. А. Шанина
|
| 210 |
# |
# |
$a М.
$c Наука
$d 1981
|
| 215 |
# |
# |
$a 207 с.
$c ил.
$d 20 см
|
| 225 |
2 |
# |
$a Мат. логика и основания математики
|
| 300 |
# |
# |
$a Перевод изд.: Theorv of formal svstems / Bv Raymond M. Smullyan (Princeton, N. J. 1962). Библиогр.: с. 202-204. Указ. определений, обозначений: с. 205-207
|
| 345 |
# |
# |
$9 9000 экз.
|
| 610 |
0 |
# |
$a Математическая логика
|
| 675 |
# |
# |
$a 510.64
|
| 700 |
# |
1 |
$a Смальян
$b Р. М.
$g Раймонд М
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20070618
$g psbo
|
