Unsurpassed for its clarity and comprehensiveness, A CONCISE INTRODUCTION TO LOGIC has established itself as the standard for introductory logic texts. In this Tenth Edition, Hurley continues to build upon the tradition of lucid, focused, and accessible presentations of logic's basic topics - both formal and informal. This edition also augments the book's successful technology integration with an updated and enhanced version of CengageNOW, which now includes Learning Logic tutorials, video clips, and the complete text in eBook format. In response to market feedback and the success of Wadsworth's Logical Choice custom program, this text has been reformatted to provide additional flexibility to customize your course material content. Wadsworth is a part of Cengage Learning. Finally, innovative new tools including a PowerLecture presentation tool and a Community Website are designed to help you manage, create, and teach your course more efficiently and effectively.

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and - thanks to Godel's famous theorem - the final revelation.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

Unsurpassed for its clarity and comprehensiveness, Hurley's A CONCISE INTRODUCTION TO LOGIC is the #1 introductory logic textbook in the market. In this Eleventh Edition, Hurley continues to build upon the tradition of a lucid, focused, and accessible presentation of the basic subject matter of logic, both formal and informal. Hurley's extensive, carefully sequenced collection of exercises continue to guide students toward greater proficiency with the skills they are learning. Review "What I like perhaps most about Hurley's text is the organization of the material. His book introduces the material in step-by-step way building off of what was just learned the section before and adding just enough information to each section to simplify the whole process of learning logic." - David Weise, Gonzaga University "This is the "gold standard" of introductory logic texts." - Frank Ryan, Kent State University "It is the clearest text, with the best technology available." - Stephanie Semler, Radford University "Hurley's text provides a methodical introduction to the strategies and techniques usually covered in an introductory logic course, including both formal and informal topics. Numerous exercises provide plenty of opportunity for students to practice the skills they have learned." - Allyson Mount, Keene State College "Hurley's book is thorough and very accessible to instructors and students. One of the best logic texts on the market." - Paula Smithka, University of Southern Mississippi

This book introduces the fundamental methods and techniques of correct reasoning, in a manner that shows the relevance of the topics to readers everyday lives. Many new exercises introduced in this edition help supplement and support explanations, aid in review, and make the book visually stimulating. KEY TOPICS: Includes many fascinating illustrations taken from the history of science as well as from contemporary research in the physical and biological sciences, plus introduces an abundance of new exercises throughout, complete with solutions for the first exercise in a set. MARKET: Appropriate for those in business, education, political, or psychology careers.