A Proof Procedure for Quantification The
โ
W. V. Quine
๐
Article
๐
1955
๐
Association for Symbolic Logic
๐
English
โ 707 KB