Jean H Gallier: 1 book
Logic for Computer Science
Foundations of Automatic Theorem Proving, Second Edition
Language: English
Release Date: May 18, 2015
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 scientists and mathematically inclined readers interested...
