|
|
|
|
LEADER |
02717nam a2200541 4500 |
001 |
vtls000074128 |
003 |
RU-ToGU |
005 |
20210910081447.0 |
008 |
000706s1975 ru | b 001 0 rus d |
035 |
|
|
|a 0077-15960
|
040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|e PSBO
|
080 |
|
|
|a 510.22(076.2)(075.8)
|
080 |
|
|
|a 510.6(076.2)(075.8)
|
080 |
|
|
|a 510.5(076.2)(075.8)
|
100 |
1 |
|
|a Лавров, Игорь Андреевич.
|
245 |
1 |
0 |
|a Задачи по теории множеств, математической логике и теории алгоритмов
|c И. А. Лавров, Л. Л. Максимова
|
260 |
|
|
|a М.
|b Наука, Главная редакция физико-математической литературы
|c 1975
|
300 |
|
|
|a 239, [1] с.
|
504 |
|
|
|a Библиогр.: с. 232.- Указ. предм. и обозначений: с. 233-239
|
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 Максимова, Лариса Львовна.
|
852 |
4 |
|
|a RU-ToGU
|h 510
|i Л136
|n ru
|
908 |
|
|
|a учебник
|
999 |
|
|
|c 73059
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10024
|d 2021-04-02
|g 0.90
|l 0
|o 1-192790к
|p 13820000927504
|y 1
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10024
|d 2021-04-02
|g 0.90
|l 0
|o 1-183777
|p 13820000605397
|y 4
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10024
|d 2021-04-02
|l 0
|o 1-210556
|p 13820000775247
|y 4
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10023
|d 2021-04-02
|g 0.90
|i 75.497.17
|l 0
|o 51 Л136
|p 13820000247113
|t 1
|y 5
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10023
|d 2021-04-02
|g 0.90
|i 75.497.2
|l 0
|o 51 Л136
|p 13820000244369
|t 2
|y 5
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10021
|d 2021-04-02
|g 0.90
|l 2
|m 4
|o 51 Л136
|p 13820000244372
|q 2025-03-31
|s 2023-01-30
|t 4
|y 5
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10021
|d 2021-04-02
|g 0.90
|i 75.1135.7
|l 1
|o 51 Л136
|p 13820000275005
|s 2023-09-16
|t 11
|y 5
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10023
|d 2021-04-02
|g 0.90
|i 75.519.9
|l 0
|o 51 Л136
|p 13820000274766
|t 12
|y 5
|
952 |
|
|
|0 0
|1 0
|4 0
|a RU-ToGU
|c 10023
|d 2021-04-02
|g 0.90
|i 75.497.9
|l 0
|o 51 Л136
|p 13820000282076
|t 14
|y 5
|