A System of Strict Implication
โ
P. G. J. Vredenduin
๐
Article
๐
1939
๐
Association for Symbolic Logic
๐
English
โ 312 KB