A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice

✍ Scribed by E. Z. Skvortsova

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 1988
• Tongue: English
• Weight: 648 KB
• Volume: 29
• Category: Article
• ISSN: 0037-4466
• DOI: 10.1007/bf00975025