Return to Article Details Implicit Quantification of the Predicate and Port-Royal Logic
Download