€5 off first Book Purchase of €50+ | With Code: CHAPTERSBOOKSTORE
Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first year undergraduate mathematics course, to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, an attempt has been made to place it in the context of mathematics and to emphasise the relevance of logic to the mathematician. Starting at an elementart level, the text progresses from informal discussion to the precise description and use of formal mathematical and logical systems. The early chapters cover propositional and predicate calculus. The later chapters deal with Goedel's theorem on the incompleteness of arithmetic and with various undecidability and unsolvability results, including a discussion of Turing machines and abstract computability. Each section ends with exercises designed to clarify and consolidate the material in that section. Hints or solutions to many of these are provided at the end of the book. The revision of this very successful textbook includes new sections on Skolemisation and applying well-formed formulas to logic programming. Some corrections have been made and extra exercises added.
- Publisher Name:Cambridge University Press
- Product Format:Paperback
- ISBN: 9780521368650
- Author:Hamilton, A. G.
- Publication Date:1988-09-29
If you are not satisfied with your order in any way, get in touch. We have an excellent customer service record and we will do our best to ensure you are pleased with your purchase.
We are happy to refund a product if it is defective, within 30 days of purchase upon the return of your product. If you return a product to us and request a refund due to an error on our part we will be happy to pay for the postage cost to return it to us.
To be eligible for a return, your item must be in the same condition that you received it, unworn or unused & unread, and in its original packaging. You’ll also need the receipt or proof of purchase.
Please note, if you are requesting a refund based on an issue with condition we kindly ask you to provide a photo in order for us to best advise a suitable resolution.
To start a return, you can contact us at shop@chaptersbookstore.com. If your return is accepted, we’ll send you a return shipping label, as well as instructions on how and where to send your package. Items sent back to us without first requesting a return will not be accepted.
You can always contact us for any return question at shop@chaptersbookstore.com.
Damages and issues
Please inspect your order upon reception and contact us immediately if the item is defective, damaged or if you receive the wrong item, so that we can evaluate the issue and make it right.
Exceptions / non-returnable items
Certain types of items cannot be returned, like custom products or special orders. Unfortunately, we cannot accept returns on sale items or gift cards.
Exchanges
The fastest way to ensure you get what you want is to return the item you have, and once the return is accepted, make a separate purchase for the new item.
Refunds
We will notify you once we’ve received and inspected your return, and let you know if the refund was approved or not. If approved, you’ll be automatically refunded on your original payment method. Please remember it can take some time for your bank or credit card company to process and post the refund too.
Free Delivery in the Republic Of Ireland on all orders over €30. Standard Delivery Charge in Republic of Ireland of €5 for all orders below €30.
Delivery is subject to warehouse availability. Out-of-stock items will be shipped as soon as possible, upon arrival from the manufacturer/publisher. Please take shipping time into consideration.
