Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
  • SALE

    In the sale you will find especially cheap items or current promotions.

    To sale
  • Sell instead of buy!

    Want to part with books, CDs, movies or games? Sell everything on momox.com

    To momox
All
    cartcart

    Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition: (Dover Books on Computer Science)

     
    From Gallier, Jean H.
    Only 1 items left in stock
    Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition: (Dover Books on Computer Science)

    Description


    Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.

    Product details

    EAN/ISBN:
    9780486780825
    Edition:
    Revised.
    Medium:
    Paperback
    Number of pages:
    544
    Publication date:
    2015-06-26
    Publisher:
    Dover Pubn Inc
    EAN/ISBN:
    9780486780825
    Edition:
    Revised.
    Medium:
    Paperback
    Number of pages:
    544
    Publication date:
    2015-06-26
    Publisher:
    Dover Pubn Inc

    Shipping

    laposte
    Buy on Amazon
    The edition supplied may vary.
    Condition
    Condition
    Learn more
    €28.49
    Used - good
    €28.49
    available immediately
    €28.49
    incl. VAT, plus  Shipping costs
    paypalvisamastercardamexcartebleue
    • Icon badgeChecked second-hand items
    • Icon packageFree shipping from 19 €
    • Icon vanWith you in 2-4 working days

    Recommended for you

    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    momox books logo
    Customer Service
    Hotline
    • phone+49 30 488 288 200
    • Monday - Friday: 09.00 - 18.00 hr


    International


    Order safely


    medimops magazine
    About us
    Newsletter
    Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
    Do you want to find out more?
    Secure payment
    paypalvisamastercardamexcartebleue
    Shipping partner
    laposte
    You can also find us here
    • Instagram logo
    • Facebook logo

    © 2024 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.