Logic, Proof and Computation

By Mark Tarver

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1784561274
• ISBN13: 9781784561277
• Release Date: January 2014
• Publisher: Upfront Publishing
• Length: 236 Pages
• Weight: 0.05 lbs.
• Dimensions: 9.0" x 0.5" x 6.0"