### A deduction rule for ${\rm VBTO}($ $)^n_{i=1}$.

Richard Butrick
Source: Notre Dame J. Formal Logic Volume 18, Number 3 (1977), 510-512.
First Page:
Primary Subjects: 02B10
Full-text: Open access