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

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

Бази даних


Інститут математики - результати пошуку


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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (1231)Інститут археології (5)Інститут біохімії імені О. В. Палладіна (2)Інститут ботаніки
імені М. Г. Холодного (1)
Інститут гідробіології (2)Інститут географії (1)Інститут економіки та прогнозування (4)Інститут електродинаміки (4)Інститут зоології (4)Інститут історії України (1)Інститут клітинної біології та генетичної інженерії (1)Інститут літератури імені Т. Г. Шевченка (13)Інститут проблем кріобіології і кріомедицини (1)Інститут сходознавства імені А. Ю. Кримського (29)Інститут теоретичної фізики імені М. М. Боголюбова (3)Інститут фізики (1)Інститут філософії (10)Інституту соціології (10)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=СЕМАНТИК$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
1.

Барендрегт, Х.
Ламбда-исчислние. Его синтаксис и семантика : пер. с англ / Х. Барендрегт. - М.: : [б. и.], 1985. - 606 с. - Б. ц.
2.

Институт философии АН СССР.
Логическая семантика и модальная логика / Институт философии АН СССР. - М. : [б. и.], 1967. - 270 с. - Б. ц.
3.

Рвачев, Л. А.
Математика и семантика : коминализм как интерпретация математики / Л. А. Рвачев. - К.: : [б. и.], 1966. - 77 с. - Б. ц.
4.

Тондл, Л.
Проблемы семантики / Л. Тондл. - Пер. с чешск. - М.: : [б. и.], 1975. - 483 с. - Б. ц.
5.

Безгачева, Ю. В.
Приложение семантики Крипке к исследованию правил вывода : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Ю. В. Безгачева ; Красноярский ГУ. - Красноярск : [б. и.], 1998. - 15 с. - Б. ц.


Дод. точки доступу:
Красноярский ГУ
 
Інститут математики

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