This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed... This description may be from another edition of this product.