This article is cited in
1 paper
The inverse method for establishing deducibility for logical calculi
S. Yu. Maslov
UDC:
51.01:164
English version:
Proceedings of the Steklov Institute of Mathematics, 1968,
98,
25–95
Bibliographic databases:
© , 2024