Fr. 46.90

Logic for Computer Science - Foundations of Automatic Theorem Proving, Second Edition

English · Paperback / Softback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Read more

Klappentext 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

Authors Jean Gallier, Jean H. Gallier
Publisher Dover Publications Inc.
 
Languages English
Product format Paperback / Softback
Released 26.06.2015
 
EAN 9780486780825
ISBN 978-0-486-78082-5
No. of pages 544
Series Dover Books on Computer Science
Dover Books on Computer Scienc
Dover Books on Computer Science
Dover Books on Computer Scienc
Subjects Natural sciences, medicine, IT, technology > Mathematics > Basic principles

MATHEMATICS / Logic, Mathematics

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.