This article is cited in 2 papers

MATHEMATICS

On the problem of separability for superintuitionistic propositional logics

V. I. Khomich

Computing Centre, USSR Academy of Sciences, Moscow

UDC: 517.11

Presented: A. A. Dorodnitsyn
Received: 12.05.1980

Bibliographic databases:

• 
•