Philosophy
Philosophy
ANDERSON, JOHN M. & HENRY W. JOHNSTONE, JR.
Natural Deduction. The Logical..Belmont, Wadsworth, (1962).
QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE.
[QUINE:] Completeness of the P..(Wisconsin), The Association for Symbolic Logic, 1937.