|
|||||
|
|
Realizability and intuitionistic logic |
|
| Authors: | J Diller A S Troelstra |
| Institution: | (1) Institut für Mathematische Logik, Einsteinstrasse 62, 44 Münster i. Wf., Federal Republic of Germany;(2) Mathematisch Instituut, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |