Best-selling in Non-Fiction Books
Save on Non-Fiction Books
- AU $9.86Trending at AU $16.88
- AU $24.83Trending at AU $25.37
- AU $64.07Trending at AU $75.12
- AU $31.50Trending at AU $37.08
- AU $44.28Trending at AU $47.26
- AU $24.09Trending at AU $28.39
- AU $9.83Trending at AU $14.06
About this product
- DescriptionThere are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien- tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is t precise. Within computer science formal logic turns up in a number of areas, from pro- gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo- rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, t a how-to book, although how-to issues are t neglected. This does t mean, of course, that the book will be of interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, t incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self- evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
- Author(s)Melvin Fitting
- PublisherSpringer-Verlag New York Inc.
- Date of Publication26/06/2013
- SubjectComputing: Professional & Programming
- Series TitleTexts in Computer Science
- Place of PublicationNew York, NY
- Country of PublicationUnited States
- ImprintSpringer-Verlag New York Inc.
- Content Notebiography
- Weight681 g
- Width170 mm
- Height244 mm
- Spine18 mm
- Edition StatementSoftcover reprint of the original 2nd ed. 1996
This item doesn't belong on this page.
Thanks, we'll look into this.