This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of G del's completeness theorem... This description may be from another edition of this product.