The first complete exposition of first-order predicate logic and modal predicate logic. Predicate logic is the modern logic of predicate terms. Modal predicate logic is the modern modal logic of predicate terms.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.