A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice |
| |
Authors: | E. Z. Skvortsova |
| |
Abstract: | Moscow. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 29, No. 1, pp. 171–178, January–February, 1988. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|