Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Proofs and Algorithms - An Introduction to Logic and Computability (Authors and Editors)

Proofs and Algorithms

An Introduction to Logic and Computability

Dowek, Gilles

2011, VIII, 195p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$29.95

(net) price for USA

ISBN 978-0-85729-121-9

digitally watermarked, no DRM

Included Format: PDF and EPUB

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$39.95

(net) price for USA

ISBN 978-0-85729-120-2

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Gilles Dowek is a Professor at École Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'École Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA). His research concerns the formalization of mathematics and the mechanization of reasoning. His main contribution is a reformulation of the axiomatic method which provides a central role to the notion of computation.

Other books by this author 

Books & CD ROMs

Show all 7 results

  • Automated Reasoning
    • eBook
      download immediately after purchase

      $109.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $139.00
      (net)
      All
    • eBook
      download immediately after purchase

      $109.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $139.00
      (net)

    Automated Reasoning

    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 5195

    Subseries: Lecture Notes in Artificial Intelligence

    Armando, Alessandro, Baumgartner, Peter, Dowek, Gilles (Eds.) 2008

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-3-540-71070-7
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $139.00 (net)
    ISBN 978-3-540-71069-1
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Theorem Proving in Higher Order Logics
    • eBook
      download immediately after purchase

      $79.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $109.00
      (net)
      All
    • eBook
      download immediately after purchase

      $79.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $109.00
      (net)

    Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 1690

    Bertot, Y., Dowek, G., Hirschowitz, A., Paulin, C., Thery, L. (Eds.) 1999

    Price from $79.99
    Available Formats:
    Information
    $79.99 (net)
    ISBN 978-3-540-48256-7
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $109.00 (net)
    ISBN 978-3-540-66463-5
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Principles of Programming Languages
    • eBook
      download immediately after purchase

      $29.95
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $39.95
      (net)
      All
    • eBook
      download immediately after purchase

      $29.95
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $39.95
      (net)

    Principles of Programming Languages

    Series: Undergraduate Topics in Computer Science

    Dowek, Gilles 2009

    Price from $29.95
    Available Formats:
    Information
    $29.95 (net)
    ISBN 978-1-84882-032-6
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $39.95 (net)
    ISBN 978-1-84882-031-9
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Rewriting and Typed Lambda Calculi
    • eBook
      download immediately after purchase

      $79.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $107.00
      (net)
      All
    • eBook
      download immediately after purchase

      $79.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $107.00
      (net)

    Rewriting and Typed Lambda Calculi

    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 8560

    Subseries: Theoretical Computer Science and General Issues

    Dowek, Gilles (Ed.) 2014

    Price from $79.99
    Available Formats:
    Information
    $79.99 (net)
    ISBN 978-3-319-08918-8
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $107.00 (net)
    ISBN 978-3-319-08917-1
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Proofs and Algorithms
    • eBook
      download immediately after purchase

      $29.95
      (net)
    • eBook
      download immediately after purchase

      $29.95
      (net)

    Proofs and Algorithms

    An Introduction to Logic and Computability

    Series: Undergraduate Topics in Computer Science

    Dowek, Gilles 2011

    Price from $29.95
    Selected Formats
    Information
    $29.95 (net)
    ISBN 978-0-85729-121-9
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.


5 of 7

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Theory of Computation.