Return to Article Details Basics of Second-Order Predicate Logic Download Download PDF