|
![]() |
|||
|
||||
OverviewA Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. Full Product DetailsAuthor: Herbert EndertonPublisher: Elsevier Science Publishing Co Inc Imprint: Academic Press Inc Edition: 3rd edition ISBN: 9780123869777ISBN 10: 0123869773 Pages: 364 Publication Date: 15 February 2020 Audience: College/higher education , Tertiary & Higher Education Format: Hardback Publisher's Status: Active Availability: Not yet available ![]() This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsUSEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC.ReviewsReasons for This Book's Success: Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic... --Douglas Cannon, University of Washington The book is clearly and carefully written. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school. --Karel Prikry, University of Minnesota It is mathematically rigorous [and] it has more examples than other books. ...I definitely would use a new edition of this book. --Sun-Joo Chin, University of Notre Dame Reasons for This Book's Success Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic ... --Douglas Cannon, University of Washington The book is clearly and carefully written. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school. --Karel Prikry, University of Minnesota It is mathematically rigorous [and] it has more examples than other books ... I definitely would use a new edition of this book. --Sun-Joo Chin, University of Notre Dame Author InformationTab Content 6Author Website:Countries AvailableAll regions |