To view prices and purchase online, please login, or register for an account.
(Paperback, 2nd Revised edition)
By: Jean Gallier
ISBN: 9780486780825
Readership/Audience: Tertiary Education
Publication Date: Jun 2015
Publisher: Dover Publications Inc.
See more...
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.
