Математический интуиционизм: Введ. в теорию доказательств
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Драгалин, А. Г. |
| Опубликовано: | М. : Наука , 1979 |
| Физические характеристики: |
256 с. ; 21 см
|
| Язык: | Русский |
| Серия: |
Мат. логика и основания математики
|
| Предмет: |
| 00000nam0a22000001ib4500 | |||
| 001 | BY-NLB-rr34926990000 | ||
| 005 | 20070802185631.0 | ||
| 010 | # | # | $b В пер. $d 1 р. 20 к. |
| 021 | # | # | $a RU $b [79-69954] |
| 100 | # | # | $a 20070802d1979 y0rusy50 ca |
| 101 | 0 | # | $a rus |
| 102 | # | # | $a RU |
| 200 | 1 | # | $a Математический интуиционизм $e Введ. в теорию доказательств |
| 210 | # | # | $a М. $c Наука $d 1979 |
| 215 | # | # | $a 256 с. $d 21 см |
| 225 | 2 | # | $a Мат. логика и основания математики |
| 300 | # | # | $a На пер. авт. не указан. Библиогр.: с. 240-250. Имен. указ.: с. 251-255 |
| 345 | # | # | $9 6700 экз. |
| 610 | 0 | # | $a Математическая логика |
| 675 | # | # | $a 510.24 |
| 700 | # | 1 | $a Драгалин $b А. Г. $g Альберт Григорьевич |
| 801 | # | 1 | $a BY $b BY-HM0000 $c 20070802 $g psbo |