|
|
|
|
| LEADER |
02906nam a2200517 i 4500 |
| 001 |
LibTUSUR0000038013 |
| 008 |
070206s20072007 ru_a l000 0yrus d |
| 020 |
|
|
|a 978548400802-5
|
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 100 |
1 |
|
|a Клини, С. К.
|q Стивен Коул
|4 aut
|
| 245 |
0 |
0 |
|a Математическая логика:
|b Пер. англ./
|c С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц
|
| 250 |
|
|
|a 3-е изд., стереотип.
|
| 260 |
|
|
|a М.:
|b КомКнига
|a М.:
|b УРСС
|c 2007
|c 2007
|
| 300 |
|
|
|a 480[2] с.:
|b ил.
|
| 504 |
|
|
|a Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478
|
| 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 К 493
|p 346725
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346726
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346727
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346728
|b счз1
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346729
|b счз1
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346730
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346731
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346732
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346733
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346734
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346735
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346736
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346737
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346738
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346739
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346740
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346741
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346742
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346743
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 51
|i К 493
|p 346744
|b аунл
|
| 080 |
|
|
|a 510.6
|
| 700 |
1 |
|
|a Гастев, Ю. А.
|4 trl
|
| 700 |
1 |
|
|a Минц , Г. Е.
|4 trl
|
| 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/К 493-062517
|