Пошуковий запит: (<.>K=СЕМАНТИК$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. |
Барендрегт, Х. Ламбда-исчислние. Его синтаксис и семантика : пер. с англ / Х. Барендрегт. - М.: : [б. и.], 1985. - 606 с. - Б. ц.
|
2. |
Институт философии АН СССР. Логическая семантика и модальная логика / Институт философии АН СССР. - М. : [б. и.], 1967. - 270 с. - Б. ц.
|
3. |
Рвачев, Л. А. Математика и семантика : коминализм как интерпретация математики / Л. А. Рвачев. - К.: : [б. и.], 1966. - 77 с. - Б. ц.
|
4. |
Тондл, Л. Проблемы семантики / Л. Тондл. - Пер. с чешск. - М.: : [б. и.], 1975. - 483 с. - Б. ц.
|
5. |
Безгачева, Ю. В. Приложение семантики Крипке к исследованию правил вывода : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Ю. В. Безгачева ; Красноярский ГУ. - Красноярск : [б. и.], 1998. - 15 с. - Б. ц.
Дод. точки доступу: Красноярский ГУ
|