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 lo...

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.