|
|
|
|
| LEADER |
02151nam a2200493 c 4500 |
| 001 |
koha001130150 |
| 005 |
20240405123424.0 |
| 008 |
130319s1969 ru ||||f bdi| 000 0 rus d |
| 035 |
|
|
|a koha001130150
|
| 040 |
|
|
|a RuMoRGB
|b rus
|e rcr
|c ELAR
|d RU-ToGU
|
| 041 |
1 |
|
|a rus
|h eng
|
| 044 |
|
|
|a ru
|
| 080 |
|
|
|a 510.6
|
| 080 |
|
|
|a 512.563.6
|
| 100 |
1 |
|
|a Карри, Хаскелл Брокс
|
| 245 |
1 |
0 |
|a Основания математической логики
|c Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева
|
| 246 |
1 |
1 |
|a Foundations of mathematical logic
|
| 260 |
|
|
|a Москва
|b Мир
|c 1969
|
| 300 |
|
|
|a 567, [1] с.
|b ил., табл.
|c 22 см
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a непосредственный
|
| 504 |
|
|
|a Библиогр.: с. 518-547
|
| 504 |
|
|
|a Указ.: с. 548-567
|
| 650 |
|
7 |
|a Математическая логика
|2 RKP
|
| 653 |
|
|
|a логические антиномии
|
| 653 |
|
|
|a формальные системы (мат. логика)
|
| 653 |
|
|
|a алгорифмы
|
| 653 |
|
|
|a эпитеория (мат. логика)
|
| 653 |
|
|
|a монотонные отношения
|
| 653 |
|
|
|a алгебры логические
|
| 653 |
|
|
|a алгебра логическая реляционная
|
| 653 |
|
|
|a структуры (мат.)
|
| 653 |
|
|
|a импликация, теория
|
| 653 |
|
|
|a алгебра логическая ассерторическая
|
| 653 |
|
|
|a алгебры высказываний
|
| 653 |
|
|
|a отрицание (мат. логика)
|
| 653 |
|
|
|a кванторы
|
| 653 |
|
|
|a кванторы, формы теории
|
| 653 |
|
|
|a модальности
|
| 653 |
|
|
|a необходимость (мат. логика), теория
|
| 700 |
1 |
|
|a Гастев, Юрий Алексеевич
|d 1928-1993
|4 edt
|
| 852 |
4 |
|
|a RU-ToGU
|n ru
|
| 999 |
|
|
|c 1130150
|d 1130150
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 2061349
|7 0
|8 112
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2024-02-15
|g 225.00
|o 2-061349
|p 13820001060355
|r 2024-09-11
|y 1
|z Библиотека Э. В. Денисова
|
