This article is cited in 2 papers

MATHEMATICS

A separability theorem for superintuitionistic propositional calculi

V. I. Khomich

Computing Centre, USSR Academy of Sciences, Moscow

UDC: 517.11

Presented: A. A. Dorodnitsyn
Received: 02.04.1976

Bibliographic databases:

• 
•