Results Concerning the Decision Problem of Lewis's Calculi S3 and S6
Sören HalldénVolume:
14
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2269232
Date:
April, 1950
File:
PDF, 762 KB
english, 1950