Теория логического вывода: Сборник / В.А.Смирнов
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Смирнов, В. А. |
| Опубликовано: | М. : Росспэн , 1999 |
| Физические характеристики: |
318 с., [1] л. портр. ; 22 см.
|
| Язык: | Русский Английский |
| Предмет: |
| 00000cam0a22000004ib4500 | |||
| 001 | BY-NLB-br273301 | ||
| 005 | 20230313135417.0 | ||
| 010 | # | # | $a 5-8243-0046-1 $b в пер. $d Б.ц. |
| 100 | # | # | $a 20000920d1999 u y0rusy50 ||||ca |
| 101 | 0 | # | $a rus $a eng |
| 102 | # | # | $a ru |
| 105 | # | # | $a y 000yb |
| 109 | # | # | $a aa |
| 200 | 1 | # | $a Теория логического вывода $e Сборник $f В.А.Смирнов |
| 210 | # | # | $a М. $c Росспэн $d 1999 |
| 215 | # | # | $a 318 с., [1] л. портр. $d 22 см. |
| 300 | # | # | $a Ч. текста: англ |
| 300 | # | # | $a Библиогр. в конце работ. Библиогр. науч. тр. В.А.Смирнова: с. 305-314 (151 назв.). |
| 345 | # | # | $9 1000 экз. |
| 464 | # | 0 | $1 2001 $a Формальный вывод и логические исчисления |
| 600 | # | 1 | $3 BY-NLB-ar100883 $a Смирнов $b В. А. $g Владимир Александрович |
| 606 | 0 | # | $3 BY-NLB-ar17285 $a МАТЭМАТЫЧНАЯ ЛОГІКА $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar19869 $a НАВУКОВАЕ ПАЗНАННЕ $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar16568 $a ЛОГИКА $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar17284 $a МАТЕМАТИЧЕСКАЯ ЛОГИКА $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar16569 $a ЛОГІКА $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar19868 $a НАУЧНОЕ ПОЗНАНИЕ $2 DVNLB |
| 606 | 0 | # | $3 BY-NLB-ar66203 $a ЛОГИЧЕСКИЙ ВЫВОД $2 DVNLB |
| 610 | 0 | # | $a Логические системы |
| 610 | 0 | # | $a Лагічныя сістэмы |
| 675 | # | # | $a 164 $v 3 $z rus |
| 675 | # | # | $a 510.6 $v 3 $z rus |
| 686 | # | # | $a 02.21.31 $2 rugasnti |
| 686 | # | # | $a 27.03.19 $2 rugasnti |
| 700 | # | 1 | $3 BY-NLB-ar100883 $a Смирнов $b В. А. $g Владимир Александрович |
| 801 | # | 0 | $a BY $b BY-HM0000 $c 20000920 $g psbo |
| 801 | # | 1 | $a BY $b BY-HM0000 $c 20060315 $g psbo |