Реєстрація
Користувач
Пароль
 

Каталоги бібліотек установ Національної академії наук України

Бази даних


Інститут проблем міцності
імені Г. С. Писаренка - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (525)Інститут біоорганічної хімії та нафтохімії (1)Інститут біохімії імені О. В. Палладіна (16)Інститут гідробіології (15)Інститут географії (14)Інститут економіки та прогнозування (43)Інститут електродинаміки (51)Інститут зоології (25)Інститут історії України (2)Інститут літератури імені Т. Г. Шевченка (4)Інститут математики (228)Інститут проблем кріобіології і кріомедицини (1)Інститут сходознавства імені А. Ю. Кримського (3)Інститут теоретичної фізики імені М. М. Боголюбова (143)Інститут фізіології імені О. О. Богомольця (13)Інститут філософії (66)Інституту соціології (87)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>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
Дод. точки доступу:
Барвайса, Дж. (под ред.)
 
Інститут проблем міцності імені Г. С. Писаренка

Всі права захищені © Національна бібліотека України імені В. І. Вернадського