|
Brief Communications
A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability
V. Kh. Khakhanyan Moscow State University of Railway Communications
Received: 14.01.2002
Citation:
V. Kh. Khakhanyan, “A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability”, Mat. Zametki, 75:1 (2004), 155–156; Math. Notes, 75:1 (2004), 145–146
Linking options:
https://www.mathnet.ru/eng/mzm541https://doi.org/10.4213/mzm541 https://www.mathnet.ru/eng/mzm/v75/i1/p155
|
Statistics & downloads: |
Abstract page: | 277 | Full-text PDF : | 194 | References: | 57 | First page: | 1 |
|