Пошуковий запит: (<.>K=ЛОГИК$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. |
Рвачев, В. Л. Геометрические приложения алгебры логики : монография / В.Л. Рвачев. - К. : Технiка, 1967. - 212 с. - русский. - 5800 экз. - 0.70 р.
Держатели документа: Библиотека Института проблем прочности : Тимирязевская, 2 |
2. |
Справочная книга по математической логики : в 4-х частях. - М. : Наука. Гл. ред. физ.-мат. лит-ры. Ч.IV : Теория доказательств и конструктивная математика : пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука. Гл. ред. физ.-мат. лит-ры, 1982. - 392 с. - русский. - Предм. указ.: с.383 -388 . - 20000 экз. - 2.10 р.
Держатели документа: Библиотека Института проблем прочности : Тимирязевская, 2 Дод. точки доступу: Барвайса, Дж. (под ред.)
|
3. |
Справочная книга по математической логики : в 4-х частях. - М. : Наука. Гл. ред. физ.-мат. лит-ры. Ч.II : Теория множеств : пер. с англ. В.Г. Кановея / Под ред. Дж. Барвайса. - М. : Наука. Гл. ред. физ.-мат. лит-ры, 1982. - 376 с. - русский. - Предм. указ.: с.368-370 . - 20000 экз. - 2.10 р.
Держатели документа: Библиотека Института проблем прочности : Тимирязевская, 2 Дод. точки доступу: Барвайса, Дж. (под ред.)
|
4. |
Справочная книга по математической логики : в 4-х частях. - М. : Наука. Гл. ред. физ.-мат. лит-ры. Ч.I : Теория моделей : пер. с англ / Под ред. Дж. Барвайса. - М. : Наука. Гл. ред. физ.-мат. лит-ры, 1982. - 392 с. - русский. - Библиогр.: с.387. - Предм. указ.: с.388-391 . - 20000 экз. - 2.20 р.
Держатели документа: Библиотека Института проблем прочности : Тимирязевская, 2 Дод. точки доступу: Барвайса, Дж. (под ред.)
|
5. |
Справочная книга по математической логики : в 4-х частях. - М. : Наука. Гл. ред. физ.-мат. лит-ры. Ч.III : Теория рекурсии : пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука. Гл. ред. физ.-мат. лит-ры, 1982. - 360 с. - русский. - Предм. указ.: с.354 -359 . - 20000 экз. - 2.00 р.
Держатели документа: Библиотека Института проблем прочности : Тимирязевская, 2 Дод. точки доступу: Барвайса, Дж. (под ред.)
|