|
|
|
|
| LEADER |
01322nam a2200241 i 4500 |
| 001 |
LibTUSUR0000029331 |
| 008 |
060815u1991 ru_a l000 0yrus d |
| 020 |
|
|
|a 503001635X
|
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 245 |
0 |
0 |
|a Математическая логика в программировании:
|b Сборник статей 1980-1988 гг.: Пер. с англ./
|c Ред. пер. М. В. Захарьящев, Ред. пер. Ю. И. Янов
|
| 260 |
|
|
|a М.:
|b Мир
|c 1991
|
| 300 |
|
|
|a 408 с.:
|b a-ил
|
| 440 |
|
0 |
|a Математическое обеспечение ЭВМ
|
| 504 |
|
|
|a Библиогр. в конце ст.
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a математическая логика
|
| 653 |
0 |
|
|a ПРОГРАММИРОВАНИЕ
|
| 653 |
0 |
|
|a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i М 340
|p 266949
|b аунл
|
| 080 |
|
|
|a 681.3.06:510.6
|a 510.6
|
| 700 |
1 |
|
|a Захарьящев, М. В.
|
| 700 |
1 |
|
|a Янов, Ю. И.
|
| 856 |
|
|
|y Перейти в каталог Библиотеки ТУСУР
|u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=681.3/М 340-679015
|
