Browse By Department
Dover Books on Computer Science Logic for Computer Science: Foundations of Automatic Theorem Proving Second Edition (Paperback)
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer...
$29.51 Free Delivery
