|
|
|
|
| LEADER |
01420nam a2200265 i 4500 |
| 001 |
LibTUSUR0000055646 |
| 008 |
121012s2010 ru_a l000 0yrus d |
| 020 |
|
|
|a 978540600120-2
|c р265.00
|
| 040 |
|
|
|a zaret
|
| 100 |
1 |
|
|a Гринченков, Д. В.
|q Дмитрий Валерьевич
|4 aut
|
| 245 |
0 |
0 |
|a Математическая логика и теория алгоритмов для программистов:
|b учебное пособие для вузов/
|c Д. В. Гринченков, С. И. Потоцкий
|
| 260 |
|
|
|a М.:
|b КноРус
|c 2010
|
| 300 |
|
|
|a 208 с.:
|b a-табл.
|
| 504 |
|
|
|a Библиогр.: с. 205-206
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a ТЕОРИЯ МНОЖЕСТВ
|
| 653 |
0 |
|
|a БУЛЕВА АЛГЕБРА
|
| 653 |
0 |
|
|a МНОЖЕСТВА
|
| 653 |
0 |
|
|a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
|
| 653 |
0 |
|
|a ЯЗЫК ПРОЛОГ
|
| 653 |
0 |
|
|a УЧЕБНЫЕ ПОСОБИЯ
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i Г 855
|p 434623
|b счз1
|
| 080 |
|
|
|a 510.6(075.8)
|a 510.51(075.8)
|
| 700 |
1 |
|
|a Потоцкий, С. И.
|q Сергей Иванович
|4 aut
|
| 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=51/Г 855-954715
|
