Topics in Logic: This book introduces the reader to some basic concepts in mathematical logic and propositional calculus. Topics in formal theories are briefly analyzed. First-order predicate calculus... This description may be from another edition of this product.