E. Z. Skvortsova, “Exact interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice”, Sibirsk. Mat. Zh., 1988, Volume 29, Number 1,Pages <nobr>171

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1988 Volume 29, Number 1, Pages 171–178 (Mi smj7398)

This article is cited in 8 papers

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

E. Z. Skvortsova

Moscow

UDC: 517.11

Received: 17.12.1985

Fulltext: PDF file (1275 kB)
Cited by

English version: Siberian Mathematical Journal, 1988, 29:1, 133–139

Bibliographic databases: