Вычислимость и логика Дж. Булос, Р. Джеффри ; перевод с английского В. А. Душского, Е. Ю. Ногиной
Сохранить в:
| Автор: | |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1994
|
| Предметная рубрика: | |
| Ключевые слова: |
| LEADER | 01342nam0a2200349 i 4500 | ||
|---|---|---|---|
| 001 | F16D30EB-1244-41D3-AFC6-B6BB708F4669 | ||
| 010 | |a 5-03-003067-0 | ||
| 100 | |a 20201012d1994 k y0rusy50 | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a aa zz 000#y | ||
| 200 | 1 | |a Вычислимость и логика |f Дж. Булос, Р. Джеффри ; перевод с английского В. А. Душского, Е. Ю. Ногиной |g под редакцией С. Н. Артемова | |
| 210 | |a Москва |c Мир |d 1994 | ||
| 215 | |a 396с. |c табл. |d 21 см | ||
| 320 | |a Именной и предметный указатели: с. 388-394 | ||
| 454 | 0 | |1 7001 |a Boolos George S. |1 7011 |a Jeffrey Richard C. |1 2001 |a Computability and logic | |
| 606 | |a Математическая логика | ||
| 610 | 1 | |a счетность | |
| 610 | 1 | |a диагонализация | |
| 610 | 1 | |a модели арифметики | |
| 610 | 1 | |a модальная логика | |
| 686 | |a 22.122 |2 rubbk | ||
| 686 | |a 27 |2 rugasnti | ||
| 700 | 1 | |a Булос |b Д. |g Джордж | |
| 701 | 1 | |a Джеффри |b Р. |g Ричард | |
| 702 | 1 | |a Душский |b В. А. |4 730 | |
| 702 | 1 | |a Ногина |b Е. Ю. |4 730 | |
| 702 | 1 | |a Артемов |b С. Н. |4 340 | |
| 801 | 0 | |b v |a em |c 20201201 | |