Об одном способе доказательства непротиворечивости логико-арифметических исчислений
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Бирюшев, А. С. |
| Издание: | Препринт |
| Опубликовано: | Владивосток , 1978 |
| Физические характеристики: |
21 с.
|
| Язык: | Русский |
| 00000nam0a22000001ib4500 | |||
| 001 | BY-NLB-rr37468560000 | ||
| 005 | 20070830173859.0 | ||
| 010 | # | # | $d Беспл. |
| 021 | # | # | $a RU $b [79-466] |
| 100 | # | # | $a 20070830d1978 y0rusy50 ca |
| 101 | 0 | # | $a rus |
| 102 | # | # | $a RU |
| 200 | 1 | # | $a Об одном способе доказательства непротиворечивости логико-арифметических исчислений |
| 205 | # | # | $a Препринт |
| 210 | # | # | $a Владивосток $d 1978 |
| 215 | # | # | $a 21 с. |
| 300 | # | # | $a В надзаг.: Ин-т автоматики и процессов упр. Дальневост. науч. центр АН СССР |
| 345 | # | # | $9 100 экз. |
| 675 | # | # | $a 510.65 |
| 700 | # | 1 | $a Бирюшев $b А. С. |
| 801 | # | 1 | $a BY $b BY-HM0000 $c 20070830 $g psbo |