Pub Date: June 18, 2015
Dewey: 511.3
LCCN: 2014048078
Lexile Code: 0000
Features: Bibliography, Index, Price on Product
Target Age Group: NA to NA
Physical Info: 1.00" H x 9.10" L x 6.10" W ( 1.55 lbs) 528 pages
BISAC Categories:
Series: Dover Books on Computer Science
Description: 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.