
A Proof Procedure for Quantification Theory
W. V. QuineVolume:
20
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2266900
Date:
June, 1955
Fichier:
PDF, 707 KB
english, 1955