‎"QUINE, W. V.‎
‎A Proof Procedure for Quantification Theory.‎

‎(No place), The Association for Symbolic Logic, 1955. Lev8vo. Bound in red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 20. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 141-149. [Entire volume: VI, 367 pp.).‎

Reference : 48592

‎First printing of Quine's important paper in which he present a proof procedure for quantification theory.Quine is one of the most important American and analytical philosophers of the 20th century. His contributions to analytic philosophy and philosophical logic have been immense.Journal of Symbolic Logic, together with Bulletin of Symbolic Logic and Review of Symbolic Logic, is the official journal of Association for Symbolic Logic. The Journal of Symbolic Logic was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. ‎