|
|
|
|
LEADER |
01154nam0a2200265 i 4500 |
001 |
AF40FA0D-1081-4676-A62E-2636DF1BEB9B |
100 |
|
|
|a 20170515d1978 k y0rusy02 ca
|
101 |
0 |
|
|a rus
|
102 |
|
|
|a AM
|
105 |
|
|
|a y z 000#y
|
200 |
1 |
|
|a Симметрическая конструктивная логика
|f И. Д. Заславский
|g АН АрмССР, ВЦ
|
210 |
|
|
|a Ереван
|c Издательство АН АрмССР
|d 1978
|
215 |
|
|
|a 281с.
|d 27 см
|
320 |
|
|
|a Библиография: с. 272-279. - Указатель формул и соотношений: с. 280
|
606 |
|
|
|a Конструктивная математика
|
606 |
|
|
|a Математическая логика
|
686 |
|
|
|a 22
|2 rubbk
|
686 |
|
|
|a 27
|a 02.21
|2 rugasnti
|
700 |
|
1 |
|a Заславский
|b И. Д.
|g Игорь Дмитриевич
|
711 |
0 |
2 |
|a Академия наук Армянской ССР
|b Вычислительный центр
|
712 |
0 |
2 |
|a Академия наук Армянской ССР
|b Вычислительный центр
|
801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20170515
|