00000nam2a22000001ib4500 | |||
001 | BY-NLB-rr17426310002 | ||
005 | 20070424172112.0 | ||
010 | # | # | $d 30 к. |
021 | # | # | $a RU $b [76-672] |
100 | # | # | $a 20070424d1975 y0rusy50 ca |
101 | 0 | # | $a rus |
200 | 1 | # | $a Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени |
210 | # | # | $d 1975 |
215 | # | # | $a 166 с. |
300 | # | # | $a Список лит.: с. 158-161 (81 назв.) |
345 | # | # | $9 500 экз. |
461 | # | 0 | $1 001BY-NLB-rr17426310000 $1 2001 $v Ч. 1 |
610 | 0 | # | $a Язык |
610 | 0 | # | $a Логика |
675 | # | # | $a 800.1+16 |
801 | # | 1 | $a BY $b BY-HM0000 $c 20070424 $g psbo |
830 | # | # | $a АЯ294632; |