Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
Follow the author
OK
Introduction to Mathematical Logic
Introduction to Mathematical Logic includes:
- propositional logic
- first-order logic
- first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski
- axiomatic set theory
- theory of computability
The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
- ISBN-100412808307
- ISBN-13978-0412808302
- Edition1st
- PublisherSpringer
- Publication dateAugust 7, 1997
- LanguageEnglish
- Dimensions6.5 x 1 x 9.75 inches
- Print length456 pages
There is a newer edition of this item:
$182.58
(17)
Usually ships within 7 days
Customers who viewed this item also viewed
- Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)PaperbackFREE Shipping by AmazonGet it as soon as Monday, Oct 5
- Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)Hardcover$4.25 shippingGet it Oct 26 - 29Usually ships within 11 to 12 days
Product details
- Publisher : Springer
- Publication date : August 7, 1997
- Edition : 1st
- Language : English
- Print length : 456 pages
- ISBN-10 : 0412808307
- ISBN-13 : 978-0412808302
- Item Weight : 1.6 pounds
- Dimensions : 6.5 x 1 x 9.75 inches
- Best Sellers Rank: #5,568,264 in Books (See Top 100 in Books)
- #844 in Mathematical Logic
- #21,752 in Mathematics (Books)
- Customer Reviews:
About the author

Discover more of the author’s books, see similar authors, read book recommendations and more.
Related products with free delivery on eligible orders
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on Amazon








