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