New item Free shipping Pay Now
Add this item to Cart for a combined free shipping deal
Click to enlarge photo

Listing Detail Tabs

Delivery takes approximately 7-12 business days.

This title is in stock with our Australian supplier and will be ordered in for you asap. We will send you a confirmation email with a Tracking Code to follow the progress of your parcel when it ships.

Three Views of Logic
Author: Donald W. Loveland

ISBN: 9780691160443
Format: Paperback
Number Of Pages: 344
Published: 22 December 2013
Country of Publication: US
Dimensions (cm): 25.4 x 18.0 x 2.7
Description:


Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity.


The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance log...

Returns Policy:
30-day money back guarantee for return if the item is not as described, is damaged or is faulty. We do not offer a refund if you change your mind.

Customs Charges & Duties:
Orders over the value of $270 will be liable for customs charges, taxes including GST and brokerage costs which are the recipient's sole responsibility.
There were no answered questions or comments placed on this listing.
Your question and answer privileges have been disabled.
You must log in to view questions and answers on this listing. We recommend reading questions before you make any purchases.
Please log in to view questions and answers on this listing. We recommend reading questions before you make any purchases. Available only to approved bidders. You must be an authenticated member to ask questions Find out more about becoming authenticated. Your account is in debt Your current account balance is You must credit your account to use this feature.
Firearms Licence #
By entering my licence number, I confirm I am aware of my obligations under the Arms Act.
Transaction details may be provided to police in accordance with the Terms & Conditions.
Your current account balance is Please note you will lose your question and answer privileges if your account is in debt for more than 2 weeks. Credit your account.
I confirm that I am over 18 years old.
To prevent your personal details being misused please do not put emails or phone numbers in questions. Failure to comply may result in the suspension of your account. The seller cannot add a Buy Now price once bidding has started.

Shipping options

  • Free shipping within New Zealand  

Payment options