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