Return to Article Details The Completeness of Carnap's Predicate Logic Download Download PDF