LEADER 03655nam a2200613 i 4500
001 LibTUSUR0000024771
008 060815s2001 ru_z l000 0yrus d
020 |a 593629031X  |c р44.00 
040 |a Библиотека ТУСУР  |b rus 
100 1 |a Шелупанов, А. А.  |q Александр Александрович  |4 aut 
245 0 0 |a Математическая логика и теория алгоритмов:   |b Учебное пособие/  |c А. А. Шелупанов, В. М. Зюзьков 
260 |a Томск:  |b STT  |c 2001 
300 |a 176 с.:  |b z-фото 
504 |a Библиогр.: с. 173-174 
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 ЛОГИКА ПРЕДИКАТОВ 
653 0 |a ИСЧИСЛЕНИЯ 
653 0 |a ЛОГИЧЕСКИЕ ПАРАДОКСЫ 
653 0 |a МНОГОЗНАЧНАЯ ЛОГИКА 
653 0 |a ТЬЮРИНГА МАШИНЫ 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p 289173  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p 434689  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-1  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-2  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-3  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-4  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-5  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-6  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-7  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-8  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-9  |b счз1 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2009-10  |b счз1 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-10  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-11  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-12  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-2  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-3  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-5  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-6  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-7  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-8  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-9  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p 289171  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-1  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p р/к 2140-4  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i Ш447  |p 459638  |b аунл 
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/Ш447-562795