1013053

9781402007637

Introduction to Mathematical Logic and Type Theory To Truth Through Proof
Introduction to Mathematical Logic and Type Theory To Truth Through Proof
$157.71
$3.95 Shipping
List Price
$169.00
Discount
6% Off
You Save
$11.29

  • Condition: New
  • Provider: LightningBooks Contact
  • Provider Rating:
    84%
  • Ships From: Multiple Locations
  • Shipping: Standard, Expedited (tracking available)
  • Comments: Fast shipping! All orders include delivery confirmation.

   30-day money back guarantee
$61.83
$3.95 Shipping
List Price
$169.00
Discount
63% Off
You Save
$107.17

  • Condition: Good
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.

   30-day money back guarantee
$26.05
$3.95 Shipping

Your due date: 12/18/2015

How do rentals work?
$169.00
List Price
$169.00
Discount
84% Off
You Save
$142.95

  • Condition: Good
  • Provider: Rent U Contact
  • Provider Rating:
    86%
  • Ships From: Salem, OR
  • Shipping: Standard, Expedited
  • Comments: Has minor wear and/or markings.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9781402007637
  • ISBN: 1402007639
  • Edition: 2
  • Publication Date:
  • Publisher: Kluwer Academic Pub

AUTHOR

SUMMARY

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.Andrews, Peter B. is the author of 'Introduction to Mathematical Logic and Type Theory To Truth Through Proof', published 2002 under ISBN 9781402007637 and ISBN 1402007639.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.