|
A superintuitionistic propositional calculus
D. P. Skvortsov
Received: 28.12.1984
Citation:
D. P. Skvortsov, “A superintuitionistic propositional calculus”, Algebra Logika, 24:2 (1985), 195–204
Linking options:
https://www.mathnet.ru/eng/al1900 https://www.mathnet.ru/eng/al/v24/i2/p195
|
|