Completeness of Elementary Logic
Part of the Synthese Library book series (SYLI, volume 4)
The introduction of the notion of a tautology in Section 9 must be understood as a provisory measure prompted by considerations which I shall now explain.
Unable to display preview. Download preview PDF.
© D. Reidel Publishing Company, Dordrecht, Holland 1962