|
|
|
|
| LEADER |
02007nam a2200337 c 4500 |
| 001 |
vtls000033903 |
| 005 |
20240119110312.0 |
| 008 |
981001 1973 ru 00| | rus d |
| 035 |
|
|
|a 0035-97460
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|e PSBO
|
| 041 |
1 |
|
|a rus
|h eng
|
| 084 |
|
|
|a Ю4в016
|2 rubbk
|
| 100 |
1 |
|
|a Клини, Стивен Коул
|d 1909-1994
|
| 245 |
1 |
0 |
|a Математическая логика
|c Стефан Коул Клини; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца
|
| 246 |
1 |
1 |
|a Mathematical Logic
|
| 260 |
|
|
|a Москва
|b Мир
|c 1973
|
| 300 |
|
|
|a 480 с.
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a непосредственный
|
| 504 |
|
|
|a Библиогр.: с. 451-465
|
| 504 |
|
|
|a Авт. и предмет. указ.: с. 470-478
|
| 505 |
0 |
|
|a В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц
|
| 653 |
|
|
|a математическая логика.
|
| 852 |
4 |
|
|a RU-ToGU
|h Ю4
|i К493
|n ru
|
| 999 |
|
|
|c 24944
|d 24944
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_К493
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10023
|d 2021-04-02
|g 2.50
|i 74.206.28
|o 51 К493
|p 13820000281975
|r 2023-08-04
|t 1
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1149125
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-02
|g 2.50
|l 0
|o 1-149125
|p 13820000026774
|r 2021-04-02
|t 2
|w 2021-04-02
|y 1
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_К493
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10023
|d 2021-04-02
|g 2.50
|l 0
|o 51 К493
|p 13820000240165
|r 2021-04-02
|t 4
|w 2021-04-02
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_К493
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10023
|d 2021-04-02
|g 2.50
|l 0
|o 51 К493
|p 13820000240166
|r 2021-04-02
|t 5
|w 2021-04-02
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1171206
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-02
|g 2.50
|l 0
|o 1-171206
|p 13820000026775
|r 2021-04-02
|t 3
|w 2021-04-02
|y 4
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 2060915
|7 0
|8 112
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2024-01-18
|g 520.00
|o 2-060915
|p 13820001056228
|r 2024-09-11
|y 1
|z Библиотека Э. В. Денисова
|
