x

Our Privacy Policy has changed. By using this site, you agree to the Privacy Policy.
loading
Buyback Cart Buyback Cart Total Buyback Cart Total
free shipping on buybacks!
Shopping Cart $0.00
free shipping on orders over $35*

    Course on Mathematical Logic:

    ISBN-10: 1461457459
    ISBN-13: 9781461457459
    Edition: 2013
    Author(s): S. M. Srivastava
    Description: This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would  More...
    List price: $69.95
    Buy it from: $49.18
    This item qualifies for FREE SHIPPING
    30 day, 100% Satisfaction Guarantee

    New Starting from $65.21

    what's this?
    Rush Rewards U
    Members Receive:
    coins
    coins
    You have reached 400 XP and carrot coins. That is the daily max!
    Study Briefs
    The first one is FREE! All the information you need in one place—a subject summary in digital form. For a limited time, add a Study Brief to your cart with a book purchase or rental and the discount will be applied at checkout.
    Study Briefs
    Calculus 1
    ?
    Digital only List price: $4.95
    Sale price: $1.99
    Study Briefs
    Medical Abbreviations & Acronyms
    ?
    Digital only List price: $4.95
    Sale price: $1.99
    Study Briefs
    Medical Terminology
    ?
    Digital only List price: $4.95
    Sale price: $1.99
    Study Briefs
    Medical Math
    ?
    Digital only List price: $4.95
    Sale price: $1.99
    Study Briefs
    Careers in Medical Assisting
    ?
    Digital only List price: $4.95
    Sale price: $1.99
    Loading
    Customers Also Bought

    List Price: $69.95
    Copyright Year: 2013
    Publisher: Springer Verlag
    Binding: Paperback
    Size: 6.25" wide x 9.00" long x 0.75" tall
    Weight: 0.682
    Language: English

    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Godel s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this new edition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more.

    ×
    ×
    Free shipping on orders over $35*

    *A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

    Learn more about the TextbookRush Marketplace.

    ×